Alternatives and similar repositories for DPLL

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

• CarsonScott / CALM
  Conditional Associative Logic Memory
  ☆27Updated 8 years ago
• WuTheFWasThat / PyChurch
  A probabilistic programming language, based on Church
  ☆17Updated 8 years ago
• uclnlp / d4
  Differentiable Forth Interpreter
  ☆74Updated 8 years ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆76Updated 7 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆69Updated last year
• OscarCunningham / logic-life-search
  Cellular automata search program
  ☆26Updated 3 years ago
• BartJongejan / Bracmat
  Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…
  ☆49Updated this week
• sebdumancic / loreleai
  A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis
  ☆23Updated 4 years ago
• brandonwillard / kanren-old
  Logic Programming in Python
  ☆31Updated 4 years ago
• sandialabs / Prove-It
  A tool for proving and organizing general theorems using Python.
  ☆31Updated this week
• netom / satispy
  An interface to SAT solver tools (like minisat)
  ☆62Updated last month
• MNoorFawi / pytholog
  Python library that enables using prolog syntax and logic programming in python
  ☆128Updated 3 years ago
• mtrazzi / gym-alttp-gridworld
  A gym environment for Stuart Armstrong's model of a treacherous turn.
  ☆18Updated 7 years ago
• opencog / moses
  MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search. See also AS-MOSES https://github.com/opencog/asmoses but kept to gu…
  ☆134Updated 2 years ago
• erp12 / pyshgp
  Push Genetic Programming in Python.
  ☆79Updated 2 years ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆242Updated 4 years ago
• nearai / program_synthesis
  Program Synthesis
  ☆146Updated 4 years ago
• fargonauts / copycat
  Modern port of Melanie Mitchell's and Douglas Hofstadter's Copycat
  ☆122Updated 9 months ago
• numenta / htmresearch-core
  Numenta's experimental C++ research code. Please see htmresearch for more details.
  ☆27Updated 6 years ago
• cjratcliff / ml-compiled
  Quick definitions and intuitive explanations around machine learning.
  ☆38Updated last month
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆96Updated 2 years ago
• noahtren / GlyphNet
  Training neural networks to communicate with a visual language
  ☆78Updated 2 years ago
• mrocklin / unification
  ☆71Updated 4 years ago
• ermongroup / cs323-notes
  Course notes for CS323: Automated Reasoning
  ☆42Updated 8 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆41Updated 8 months ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• Guillemdb / FractalAI
  Celular automaton-based calculus for the masses
  ☆111Updated 5 years ago
• HiroakiMikami / deep-coder
  Re-implement DeepCoder (https://openreview.net/pdf?id=ByldLrqlx)
  ☆107Updated 6 years ago
• logicmoo / logicmoo_workspace
  https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/
  ☆44Updated 2 years ago
• inspectorG4dget / Genetic-Framework
  Pure Python Evolutionary Algorithms Framework
  ☆45Updated 6 years ago