Y
Hacker News
new
|
ask
|
show
|
jobs
by
emmanueloga_
521 days ago
Also MiniZinc, Gecode and OR-Tools are 3 ways of using SAT solvers that include good documentation and walkthroughs.