zhangyiss/spack
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Changed clingo options

Browse Source
This commit is contained in:
Massimiliano Culpo 2020-10-31 22:36:35 +01:00 committed by Todd Gamblin
parent 577676106c
commit 63327d1eea
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
lib/spack/spack/solver/asp.py
View File

@ -603,8 +603,11 @@ def solve(
# Initialize the control object for the solver # Initialize the control object for the solver
self.control = clingo.Control() self.control = clingo.Control()
self.control.configuration.solve.models = nmodels 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.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 # set up the problem -- this generates facts and rules
self.assumptions = [] self.assumptions = []