Error
Looks like something went wrong!

About

A translator from TPTP to SMT-LIB

smtlib tptp smt-lib

GPL-3.0 license

Report repository

Releases

No releases published

Packages

No packages published

Languages

Haskell 100.0%