Alternatives and similar repositories for DPLL

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

• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 5 months ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆68Updated last year
• OscarCunningham / logic-life-search
  Cellular automata search program
  ☆26Updated 3 years ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆77Updated 7 years ago
• chiggum / Neural-Turing-Machines
  An attempt at replicating Deepmind's Neural Turing Machines in Theano
  ☆11Updated 8 years ago
• CarsonScott / CALM
  Conditional Associative Logic Memory
  ☆27Updated 8 years ago
• brandonwillard / kanren-old
  Logic Programming in Python
  ☆31Updated 4 years ago
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆96Updated 2 years ago
• asaparov / grammar
  Implementation of generative semantic grammar.
  ☆18Updated 3 years ago
• sandialabs / Prove-It
  A tool for proving and organizing general theorems using Python.
  ☆30Updated last week
• JUrban / deepmath
  deep learning for math
  ☆28Updated 6 years ago
• WuTheFWasThat / PyChurch
  A probabilistic programming language, based on Church
  ☆17Updated 8 years ago
• netom / satispy
  An interface to SAT solver tools (like minisat)
  ☆62Updated 3 years ago
• suragnair / ProbabilisticGraphicalModels
  General Purpose C++ Implementation for Inference and Learning in Bayesian and Markov Networks
  ☆16Updated 7 years ago
• opennars / ALANN2018
  Adaptive Logic and Neural Network (ALANN) version of NARS style General Machine Intelligence (GMI)
  ☆30Updated 2 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• evertheylen / logicpy
  Prolog Implementation in Python
  ☆12Updated 7 years ago
• rougier / dynamic-som
  Dynamic Self-Organized maps
  ☆22Updated 10 years ago
• diofant / diofant
  A Python CAS library
  ☆73Updated last month
• mtrazzi / gym-alttp-gridworld
  A gym environment for Stuart Armstrong's model of a treacherous turn.
  ☆18Updated 7 years ago
• metamath / metamath-book
  Source of metamath book
  ☆51Updated last year
• uclnlp / d4
  Differentiable Forth Interpreter
  ☆73Updated 7 years ago
• ml4ai / automates
  AutoMATES: Automated Model Assembly from Text, Equations, and Software
  ☆25Updated 2 years ago
• nclarius / pyPL
  Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
  ☆20Updated 2 months ago
• nkatzz / ILED
  Incremental Learning Event Definitions
  ☆14Updated 10 years ago
• davidenunes / exp
  python experiment management toolset
  ☆15Updated 6 years ago
• tzwenn / MathGenealogy
  Downloading and displaying academic ancestry
  ☆16Updated 10 years ago
• princeton-vl / MetaGen
  Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"
  ☆33Updated 5 years ago
• paolodragone / pymzn
  A Python wrapper for the MiniZinc tool pipeline.
  ☆55Updated 3 years ago
• clarketm / pprintast
  An AST pretty printer for Python 🐍
  ☆14Updated 6 years ago