3 ms·do you have any pointers on modeling with soft/hard constraints and SAT solvers?by 2400 7y agodo you have any pointers on modeling with soft/hard constraints and SAT solvers?