summaryrefslogtreecommitdiff
path: root/kernel
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-03-05 19:57:10 +0100
committerClifford Wolf <clifford@clifford.at>2014-03-05 19:57:10 +0100
commitb1b8fe3a566099e5fd29e6d8c60e8f8b4feb0f34 (patch)
treebf8cc4dcca45004e68f31ce3fcd93fb20e98b236 /kernel
parent09805ee9ec0408bdc68b914927899f02371efcb7 (diff)
Switched to EZMINISAT_SIMPSOLVER as default SAT solver
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions