SAT¶
Calling a SAT solver from Prolog.
There are four SAT solver modules available: CryptoMinisat (cryptominisat) Minisat 2.0.2 (minisat) Glucose 2.2 (glucose) Glucose 4.0 (glucose4)
Glucose 2.2 is the default SAT solver.
To change the default SAT solver, the user should use: :- nb_setval(satSolver_module,
For example: :- module(myApp, [...]). :- nb_setval(satSolver_module, glucose4). :- use_module('satsolver',[sat//11]).