STP constraint solver

Simple Theorem Prover SMT solver

Blog Archive