summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMassimiliano Culpo <massimiliano.culpo@gmail.com>2020-10-31 22:36:35 +0100
committerTodd Gamblin <tgamblin@llnl.gov>2020-11-17 10:04:13 -0800
commit63327d1eea2a724c2587316b94aecb09787a940d (patch)
tree2fb94ab064e090449198ed2d4f562c6bb2ac5ad5
parent577676106cbfc4ee2de5c7237ae75c0ce23964ab (diff)
downloadspack-63327d1eea2a724c2587316b94aecb09787a940d.tar.gz
spack-63327d1eea2a724c2587316b94aecb09787a940d.tar.bz2
spack-63327d1eea2a724c2587316b94aecb09787a940d.tar.xz
spack-63327d1eea2a724c2587316b94aecb09787a940d.zip
Changed clingo options
-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 = []