From 63327d1eea2a724c2587316b94aecb09787a940d Mon Sep 17 00:00:00 2001 From: Massimiliano Culpo Date: Sat, 31 Oct 2020 22:36:35 +0100 Subject: Changed clingo options --- lib/spack/spack/solver/asp.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) 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 = [] -- cgit v1.2.3-70-g09d2