Alternatives and similar repositories for DPLL:

Users that are interested in DPLL are comparing it to the libraries listed below

• allofphysicsgraph / proofofconcept
  Physics Derivation Graph: mathematical connections among equations
  ☆20Updated 10 months ago
• Shr1ftyy / wolframPy
  An implementation of Wolfram's hypergraphs from the Wolfram Physics Project.
  ☆12Updated 4 years ago
• mrocklin / unification
  ☆71Updated 4 years ago
• MassimoLauria / cnfgen
  CNF generator in DIMACS format. It produces common families of CNFs.
  ☆64Updated 10 months ago
• ai4reason / ATP_Proofs
  Interesting ATP Proofs
  ☆13Updated 3 years ago
• 3-manifolds / Spherogram
  Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…
  ☆19Updated 2 months ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated 11 months ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 8 months ago
• netom / satispy
  An interface to SAT solver tools (like minisat)
  ☆60Updated 2 years ago
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆93Updated last year
• ssardina / ergo
  ERGO Agent Programming Language
  ☆27Updated 9 months ago
• OscarCunningham / logic-life-search
  Cellular automata search program
  ☆26Updated 2 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆75Updated last month
• andrewcropper / iggp
  A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.
  ☆12Updated 2 years ago
• chrisheunen / freetikz
  FreeTikZ
  ☆38Updated 7 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• maths / PRESS
  PRolog Equation Solving System
  ☆30Updated 8 years ago
• princeton-vl / MetaGen
  Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"
  ☆32Updated 4 years ago
• xflr6 / bitsets
  Ordered subsets over a finite domain
  ☆26Updated last year
• m-westphal / gqr
  GQR, a Fast Reasoner for Binary Qualitative Constraint Calculi
  ☆17Updated 7 years ago
• paolodragone / pymzn
  A Python wrapper for the MiniZinc tool pipeline.
  ☆55Updated 3 years ago
• vaibhavkarve / multihypergraph
  A simple python package for graph theory that supports multi-edges, hyper-edges, looped-edges and every other combination of these.
  ☆14Updated 6 years ago
• nkatzz / ILED
  Incremental Learning Event Definitions
  ☆14Updated 9 years ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆236Updated 3 years ago
• graph-algorithms / edge-addition-planarity-suite
  ☆29Updated last week
• ermongroup / cs323-notes
  Course notes for CS323: Automated Reasoning
  ☆41Updated 7 years ago
• nclarius / pyPL
  Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
  ☆20Updated 3 months ago
• j2kun / computing-homology
  Python code for the post "Computing Homology"
  ☆29Updated 2 years ago
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆185Updated last week