clayrat/idris-smtlib

SMT-LIB text interface for Idris

Idris SMT-LIB

Parser/printer for SMT-LIB format in Idris.

Examples from Yurichev, "Quick introduction into SAT/SMT solvers and symbolic execution".

See also:

• Scala SMT-LIB
• SBV
• Haskell SMT-LIB
• ScalaZ3
• Z3-Haskell