It's an STP mirror from https://sites.google.com/site/stpfastprover/STP-Fast-Prover
Primary LanguageC++OtherNOASSERTION