Commit 73952d0f authored by VIGNET Pierre's avatar VIGNET Pierre
Browse files

Ability to use the new solver

parent 31f139a7
......@@ -41,7 +41,8 @@
"""
Main engine for constraint unfolding and solving
"""
from pyCryptoMS import CryptoMS
#from pyCryptoMS import CryptoMS
from pycryptosat import Solver as CryptoMS
from cadbiom.models.biosignal.translators.gt_visitors import compile_cond, compile_event
from cadbiom.models.clause_constraints.CLDynSys import Clause, Literal
from cadbiom.models.clause_constraints.mcl.MCLSolutions import RawSolution, MCLException
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment