Satchmo Alternatives

Similar projects and alternatives to satchmo

• picosat

  0 16 0.0 C satchmo VS picosat

  Haskell bindings for PicoSAT solver

• jukebox

  0 13 0.0 Haskell satchmo VS jukebox

  A theorem prover (by nick8325)

• 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.

  

• tamarin-prover

  0 385 7.8 Haskell satchmo VS tamarin-prover

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

  

• tpdb

  0 1 5.3 Haskell satchmo VS tpdb

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

• logic-classes

  0 7 0.0 Haskell satchmo VS logic-classes

  Framework for propositional and first order logic, theorem proving

  

• Heyting Algebras

  0 14 0.0 Haskell satchmo VS Heyting Algebras

  Heyting Algebras in Haskell

• smcdel

  0 39 3.1 Haskell satchmo VS smcdel

  A symbolic model checker for Dynamic Epistemic Logic.

  

• 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.

  

• obdd

  0 11 2.8 Haskell satchmo VS obdd

  pure Haskell implementation of reduced ordered binary decision diagrams

• minisat

  0 1 0.0 satchmo VS minisat

  Minisat Haskell bundle

• g4ip

  0 1 0.0 Haskell satchmo VS g4ip

  A theorem prover using G4ip