Z3Prover
Program using constraints to solve complex or impossible problems. Some of them can be solvable with algorithms, but you should try your best to use z3 to solve!
Program using constraints to solve complex or impossible problems. Some of them can be solvable with algorithms, but you should try your best to use z3 to solve!