Alternatives and similar repositories for DPLL

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

• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆76Updated 7 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆41Updated 8 months ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆69Updated last year
• logicmoo / logicmoo_workspace
  https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/
  ☆44Updated 2 years ago
• uclnlp / d4
  Differentiable Forth Interpreter
  ☆74Updated 8 years ago
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆96Updated 2 years ago
• brandonwillard / kanren-old
  Logic Programming in Python
  ☆31Updated 4 years ago
• OscarCunningham / logic-life-search
  Cellular automata search program
  ☆26Updated 3 years ago
• targodan / jupyter-swi-prolog
  A Jupyter Kernel for SWI-Prolog
  ☆25Updated 7 years ago
• sebdumancic / loreleai
  A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis
  ☆23Updated 4 years ago
• ofnote / tsanley
  A runtime shape checker and auto-annotator for tensor programs (pronounced "stanley")
  ☆40Updated 6 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 7 years ago
• asaparov / grammar
  Implementation of generative semantic grammar.
  ☆16Updated 3 years ago
• mrocklin / unification
  ☆71Updated 4 years ago
• netom / satispy
  An interface to SAT solver tools (like minisat)
  ☆62Updated last month
• vinyasns / dfa-to-regex
  A Python implementation to convert a Deterministic Finite Automata to Regular Expression using state elimination method
  ☆22Updated 8 years ago
• ianhorswill / MKULTRA
  An experimental game
  ☆18Updated 2 months ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆34Updated 13 years ago
• JUrban / deepmath
  deep learning for math
  ☆29Updated 6 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
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆79Updated 7 months ago
• chrisheunen / freetikz
  FreeTikZ
  ☆41Updated 8 years ago
• leihuang / infotopo0
  Information geometry and its extension information topology
  ☆11Updated 8 years ago
• WuTheFWasThat / PyChurch
  A probabilistic programming language, based on Church
  ☆17Updated 8 years ago
• nearai / program_synthesis
  Program Synthesis
  ☆146Updated 4 years ago
• BartJongejan / Bracmat
  Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…
  ☆49Updated this week
• fargonauts / copycat
  Modern port of Melanie Mitchell's and Douglas Hofstadter's Copycat
  ☆122Updated 9 months ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆12Updated 5 months ago
• friguzzi / aleph
  Port of Aleph to SWI-Prolog
  ☆52Updated 2 years ago