Picosat Alternatives

Similar projects and alternatives to picosat

• minisat

  0 1 0.0 picosat VS minisat

  Minisat Haskell bundle

• picologic

  0 14 0.0 Haskell picosat VS picologic

  Symbolic logic expressions

• WorkOS

  workos.com

  sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• hatt

  0 27 0.0 Haskell picosat VS hatt

  Truth-table generator for classical propositional logic (by beastaugh)

• obdd

  0 11 2.8 Haskell picosat VS obdd

  pure Haskell implementation of reduced ordered binary decision diagrams

• jukebox

  0 13 0.0 Haskell picosat VS jukebox

  A theorem prover (by nick8325)

• g4ip-prover

  0 8 0.0 Haskell picosat VS g4ip-prover

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

• qed

  0 3 0.0 Haskell picosat VS qed

  Experiments writing a prover

• InfluxDB

  www.influxdata.com

  sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• logic-classes

  0 7 0.0 Haskell picosat VS logic-classes

  Framework for propositional and first order logic, theorem proving

  

• tpdb

  0 1 5.3 Haskell picosat VS tpdb

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

• atp-haskell

  0 15 0.0 Haskell picosat VS atp-haskell

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