logic-classes alternatives and similar packages

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

• tamarin-prover

  9.8 8.2 logic-classes VS tamarin-prover

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

• smcdel

  8.3 2.8 logic-classes VS smcdel

  A symbolic model checker for Dynamic Epistemic Logic.
  

InfluxDB – Built for High-Performance Time Series Workloads

InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

Promo www.influxdata.com



• hatt

  7.7 0.0 logic-classes VS hatt

  Truth-table generator for classical propositional logic
  

• tip-haskell-frontend

  7.5 2.1 logic-classes VS tip-haskell-frontend

  Convert from Haskell to Tip
  

• hout

  7.3 0.0 logic-classes VS hout

  A non-interactive proof assistant using the Haskell type system
  

• atp-haskell

  7.1 4.8 logic-classes VS atp-haskell

  Haskell version of the code from "Handbook of Practical Logic and Automated Reasoning"
  

• picologic

  6.7 0.0 logic-classes VS picologic

  Symbolic logic expressions
  

• picosat

  6.6 0.0 L2 logic-classes VS picosat

  Haskell bindings for PicoSAT solver
  

• jukebox

  6.0 0.0 logic-classes VS jukebox

  A theorem prover
  

• Heyting Algebras

  5.9 0.0 logic-classes VS Heyting Algebras

  Heyting Algebras in Haskell
  

• Folly

  5.3 0.0 logic-classes VS Folly

  First order logic in Haskell
  

• obdd

  5.1 2.8 logic-classes VS obdd

  pure Haskell implementation of reduced ordered binary decision diagrams
  

• structural-induction

  3.9 0.0 logic-classes VS structural-induction

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

• g4ip-prover

  3.4 0.0 logic-classes VS g4ip-prover

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

• qed

  3.2 0.0 logic-classes VS qed

  Experiments writing a prover
  

• tpdb

  3.1 5.8 logic-classes VS tpdb

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

• satchmo

  2.2 4.0 logic-classes VS satchmo

  SAT encoder
  

• g4ip

  1.9 0.0 logic-classes VS g4ip

  A theorem prover using G4ip
  

• minisat

  1.9 2.4 logic-classes VS minisat

  Minisat Haskell bundle
  

• haskhol-core

  1.1 0.0 logic-classes VS haskhol-core

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

• judge

  0.9 0.0 logic-classes VS judge

  Tableau-based theorem prover for justification logic.
  

* 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 logic-classes or a related project?

Stream - Scalable APIs for Chat, Feeds, Moderation, & Video.

featured getstream.io

Popular Comparisons

• logic-classes
  vs
  picosat
• logic-classes
  vs
  hatt
• logic-classes
  vs
  picologic
• logic-classes
  vs
  structural-induction
• logic-classes
  vs
  Folly

SaaSHub - Software Alternatives and Reviews

featured www.saashub.com