Posts about SAT RSS feed 2021-08-14 18:30Solving a Puzzle Using Picat 2020-04-27 23:22Solving Mastermind-like Problems Using Z3 Theorem Prover