Comment Comment by 2400 do you have any pointers on modeling with soft/hard constraints and SAT solvers? parent 2400 7 years ago
