Haskell Equational Reasoning Model-to-Implementation Tunnel

hermit alternatives and similar packages

Based on the "Formal Methods" category

• sbvPlugin

  8.3 2.4 hermit VS sbvPlugin

  Formally prove properties of Haskell programs using SBV/SMT

• smtlib2

  6.9 0.0 hermit VS smtlib2

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

• SmtLib

  5.5 0.0 hermit VS SmtLib

  Library for parsing SMTLIB2

• afv

  5.2 0.0 hermit VS afv

  Infinite state model checking of iterative C programs.

• acl2

  4.3 0.0 hermit VS acl2

  Writing and calling ACL2 from Haskell.

• theoremquest

  4.0 0.0 hermit VS theoremquest

  A common library for TheoremQuest, a theorem proving game.

• tptp

  2.0 7.6 hermit VS tptp

  A parser and a pretty printer for the TPTP language

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

Popular Comparisons

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

SaaSHub - Software Alternatives and Reviews View more from us