Difference between r1.1 and the current
@@ -4,6 +4,7 @@
https://en.wikipedia.org/wiki/Solver
Sub:
{
https://en.wikipedia.org/wiki/Z3_Theorem_Prover
Sub:
[[SAT솔버,SAT_solver]]
[[SMT솔버,SMT_solver]]{
https://en.wikipedia.org/wiki/Z3_Theorem_Prover