Hacker News new | ask | show | jobs
by lalaland1125 1707 days ago
I think it would be super neat to also compare this to a generic SAT solver based solution.
1 comments
cerved 1706 days ago
or CP solver
link
whatever1 1706 days ago
Or an Integer Programming solver
link