User Tools

Site Tools


how_do_i

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
how_do_i [2016/05/03 11:29]
schram [Use an alternative SAT solver?]
how_do_i [2016/05/03 11:30] (current)
schram [Use an alternative SAT solver?]
Line 25: Line 25:
 ==== Use an alternative SAT solver? ==== ==== Use an alternative SAT solver? ====
  
-  - Download the source of the solver ​and edit the ''​config.inc''​ file to give the location of the SAT solver.+  - Download the source of the solver ​ 
 +  - Edit the ''​config.inc''​ file to give the location of the SAT solver.
   - Edit "​solvers/​sat/​satcheck.h"​ to pick the correct solver. ​ In the case of solvers that have similar files / a common heritage, it may be necessary to comment out the other solvers or build conflicts may be caused. ​ MiniSAT 2 and Glucose definitely have this problem.   - Edit "​solvers/​sat/​satcheck.h"​ to pick the correct solver. ​ In the case of solvers that have similar files / a common heritage, it may be necessary to comment out the other solvers or build conflicts may be caused. ​ MiniSAT 2 and Glucose definitely have this problem.
   - Build.   - Build.
how_do_i.txt · Last modified: 2016/05/03 11:30 by schram