diff options
| -rw-r--r-- | lib/spack/spack/solver/asp.py | 5 |
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 = [] |