Some SAT solvers allow you to add additional constraints while they are running....

		hugomg on May 19, 2019 \| parent \| context \| favorite \| on: Modern SAT solvers: fast, neat and underused Some SAT solvers allow you to add additional constraints while they are running. So you can find a solution and then add additional constraints to try to get it to find a better one.