diff options
| author | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2020-10-31 22:36:35 +0100 |
|---|---|---|
| committer | Todd Gamblin <tgamblin@llnl.gov> | 2020-11-17 10:04:13 -0800 |
| commit | 63327d1eea2a724c2587316b94aecb09787a940d (patch) | |
| tree | 2fb94ab064e090449198ed2d4f562c6bb2ac5ad5 /lib | |
| parent | 577676106cbfc4ee2de5c7237ae75c0ce23964ab (diff) | |
| download | spack-63327d1eea2a724c2587316b94aecb09787a940d.tar.gz spack-63327d1eea2a724c2587316b94aecb09787a940d.tar.bz2 spack-63327d1eea2a724c2587316b94aecb09787a940d.tar.xz spack-63327d1eea2a724c2587316b94aecb09787a940d.zip | |
Changed clingo options
Diffstat (limited to 'lib')
| -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 = [] |