summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
Diffstat (limited to 'lib')
-rw-r--r--lib/spack/spack/solver/asp.py5
1 files changed, 4 insertions, 1 deletions
diff --git a/lib/spack/spack/solver/asp.py b/lib/spack/spack/solver/asp.py
index c14906f5a2..b562b60417 100644
--- a/lib/spack/spack/solver/asp.py
+++ b/lib/spack/spack/solver/asp.py
@@ -603,8 +603,11 @@ class PyclingoDriver(object):
# Initialize the control object for the solver
self.control = clingo.Control()
self.control.configuration.solve.models = nmodels
+ self.control.configuration.asp.trans_ext = 'all'
+ self.control.configuration.asp.eq = '5'
self.control.configuration.configuration = 'tweety'
- self.control.configuration.solver.opt_strategy = "bb,dec"
+ self.control.configuration.solve.parallel_mode = '2'
+ self.control.configuration.solver.opt_strategy = "usc,one"
# set up the problem -- this generates facts and rules
self.assumptions = []