Library for parsing SMTLIB2

SmtLib alternatives and similar packages

Based on the "Formal Methods" category

• hermit

  9.0 0.0 SmtLib VS hermit

  Haskell Equational Reasoning Model-to-Implementation Tunnel

• sbvPlugin

  7.7 6.4 SmtLib VS sbvPlugin

  Formally prove properties of Haskell programs using SBV/SMT

• smtlib2

  6.6 0.0 SmtLib VS smtlib2

  A type-safe interface to communicate with an SMT solver.

• afv

  4.1 0.0 SmtLib VS afv

  Infinite state model checking of iterative C programs.

• acl2

  2.9 0.0 SmtLib VS acl2

  Writing and calling ACL2 from Haskell.

• theoremquest

  2.5 0.0 SmtLib VS theoremquest

  A common library for TheoremQuest, a theorem proving game.

Do you think we are missing an alternative of SmtLib or a related project?

Monitor and correlate metrics, traces, and logs in one platform. Free 14-day trial. More from our partner

Popular Comparisons

• smtlib2
  vs
  nimber
• acl2
  vs
  smtlib2
• hermit
  vs
  nimber

SaaSHub - Software Alternatives and Reviews More from our team