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 11 months ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated last year
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆75Updated this week
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆64Updated 10 months ago
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆46Updated last week
• 51alg / TerpreT
  ☆43Updated 7 years ago
• maths / PRESS
  PRolog Equation Solving System
  ☆30Updated 8 years ago
• JUrban / deepmath
  deep learning for math
  ☆29Updated 6 years ago
• princeton-vl / MetaGen
  Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"
  ☆32Updated 4 years ago
• blexim / synth
  Program synthesis
  ☆12Updated 9 years ago
• mrocklin / unification
  ☆71Updated 4 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• avigad / boole
  The Boole Interactive Reasoning Assistant
  ☆27Updated 11 years ago
• ai4reason / ATP_Proofs
  Interesting ATP Proofs
  ☆13Updated 3 years ago
• brain-research / hol-light
  Patched version of HOL Light with tactic logging for machine learning purposes
  ☆34Updated 5 years ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆238Updated 3 years ago
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆94Updated last year
• MiniZinc / minizinc-doc
  MiniZinc documentation
  ☆16Updated 2 years ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆48Updated 6 months ago
• ejgallego / pycoq
  Python bindings for the Coq interactive proof assistant
  ☆54Updated 3 years ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆75Updated 8 months ago
• eprover / eprover
  ☆141Updated last week
• emreyolcu / rewriting-collatz
  An automated approach to the Collatz conjecture
  ☆13Updated last year
• ml4tp / gamepad
  A Learning Environment for Theorem Proving
  ☆73Updated 2 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated 2 years ago
• ml4tp / tcoq
  Modification to Coq to record intermediate proof states encountered during a proof
  ☆8Updated 6 years ago
• sahands / simple-sat
  Simple recursive and iterative SAT solver written in Python.
  ☆123Updated 6 years ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• CarsonScott / CALM
  Conditional Associative Logic Memory
  ☆27Updated 7 years ago