STP constraint solver

Simple Theorem Prover SMT solver