Automatic Prover for Logical Predicates - View it on GitHub