Hacker News new | ask | show | jobs
by 2400 2461 days ago
do you have any pointers on modeling with soft/hard constraints and SAT solvers?