atp-haskell alternatives and similar packages

Based on the "Logic" category.
Alternatively, view atp-haskell alternatives based on common mentions on social networks and blogs.

• tamarin-prover

  9.8 0.0 atp-haskell VS tamarin-prover

  Main source code repository of the Tamarin prover for security protocol verification.
  

• smcdel

  7.9 0.0 atp-haskell VS smcdel

  A symbolic model checker for Dynamic Epistemic Logic.
  

Static code analysis for 29 languages.

Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.

Promo www.sonarqube.org



• hatt

  7.7 0.0 atp-haskell VS hatt

  Truth-table generator for classical propositional logic

• tip-haskell-frontend

  7.5 0.0 atp-haskell VS tip-haskell-frontend

  Convert from Haskell to Tip
  

• picosat

  6.9 0.0 L2 atp-haskell VS picosat

  Haskell bindings for PicoSAT solver

• picologic

  6.7 0.0 atp-haskell VS picologic

  Symbolic logic expressions

• jukebox

  6.5 0.0 atp-haskell VS jukebox

  A theorem prover

• hout

  6.3 0.0 atp-haskell VS hout

  A non-interactive proof assistant using the Haskell type system

• Heyting Algebras

  5.8 0.0 atp-haskell VS Heyting Algebras

  Heyting Algebras in Haskell

• logic-classes

  5.7 0.0 atp-haskell VS logic-classes

  Framework for propositional and first order logic, theorem proving
  

• Folly

  5.6 0.0 atp-haskell VS Folly

  First order logic in Haskell

• obdd

  5.4 0.0 atp-haskell VS obdd

  pure Haskell implementation of reduced ordered binary decision diagrams

• structural-induction

  3.9 0.0 atp-haskell VS structural-induction

  SII: Structural Induction Instantiator over any strictly-positive algebraic data type.

• qed

  3.9 0.0 atp-haskell VS qed

  Experiments writing a prover

• g4ip-prover

  3.4 0.0 atp-haskell VS g4ip-prover

  Theorem prover for intuitionistic propositional logic, fork of github.com/cacay/G4ip

• tpdb

  3.0 0.0 atp-haskell VS tpdb

  parser and prettyprinter for TPDB syntax (termination problem data base)

• satchmo

  3.0 0.0 atp-haskell VS satchmo

  SAT encoder

• g4ip

  2.1 0.0 atp-haskell VS g4ip

  A theorem prover using G4ip

• minisat

  2.1 0.0 atp-haskell VS minisat

  Minisat Haskell bundle

• judge

  1.5 0.0 atp-haskell VS judge

  Tableau-based theorem prover for justification logic.

• haskhol-core

  0.8 0.0 atp-haskell VS haskhol-core

  The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.

* Code Quality Rankings and insights are calculated and provided by Lumnify.
They vary from L1 to L5 with "L5" being the highest.

Do you think we are missing an alternative of atp-haskell or a related project?

Access the most powerful time series database as a service sponsored www.influxdata.com

Popular Comparisons

• atp-haskell
  vs
  picosat
• atp-haskell
  vs
  minisat
• picosat
  vs
  minisat
• qed
  vs
  tamarin-prover
• tamarin-prover
  vs
  tip-haskell-frontend

SaaSHub - Software Alternatives and Reviews sponsored www.saashub.com