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