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
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆242Updated 4 years ago
• MNoorFawi / pytholog
  Python library that enables using prolog syntax and logic programming in python
  ☆129Updated 2 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 6 months ago
• kovvalsky / LangPro
  Tableau-based Theorem Prover for Natural Logic and Language
  ☆120Updated last month
• sandialabs / Prove-It
  A tool for proving and organizing general theorems using Python.
  ☆30Updated this week
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆96Updated 2 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆69Updated last year
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• chiggum / Neural-Turing-Machines
  An attempt at replicating Deepmind's Neural Turing Machines in Theano
  ☆11Updated 9 years ago
• asaparov / grammar
  Implementation of generative semantic grammar.
  ☆17Updated 3 years ago
• rali-udem / gophi
  GOPHI: an AMR-to-English Verbalizer
  ☆11Updated 5 years ago
• mrocklin / unification
  ☆71Updated 4 years ago
• grammarly / gr-parseval
  Implementation of different variants of Parseval metric
  ☆13Updated 11 years ago
• csxeba / trickster
  Reinforcement learning in TensorFlow 2
  ☆22Updated 3 years ago
• mtrazzi / gym-alttp-gridworld
  A gym environment for Stuart Armstrong's model of a treacherous turn.
  ☆18Updated 7 years ago
• deepppl / deepppl
  Deep Probabilistic Programming Language
  ☆19Updated last year
• trishullab / houdini
  HOUDINI: Lifelong Learning as Program Synthesis
  ☆49Updated 8 months ago
• ianhorswill / MKULTRA
  An experimental game
  ☆18Updated last month
• nearai / program_synthesis
  Program Synthesis
  ☆145Updated 4 years ago
• 921kiyo / symbolic-rl
  Symbolic Reinforcement Learning using Inductive Logic Programming
  ☆62Updated 2 years ago
• rougier / dynamic-som
  Dynamic Self-Organized maps
  ☆22Updated 10 years ago
• uclnlp / d4
  Differentiable Forth Interpreter
  ☆73Updated 7 years ago
• nkatzz / ILED
  Incremental Learning Event Definitions
  ☆15Updated 10 years ago
• vineetjohn / research-review-notes
  Research Paper Review Notes
  ☆13Updated 7 years ago
• clarketm / pprintast
  An AST pretty printer for Python 🐍
  ☆14Updated 6 years ago
• JUrban / deepmath
  deep learning for math
  ☆29Updated 6 years ago
• adammarblestone-zz / simple-C-elegans
  Minimalist Python code -- based on OpenWorm and the published literature -- for modeling C. elegans neural network dynamics
  ☆19Updated 9 years ago
• princeton-vl / MetaGen
  Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"
  ☆33Updated 5 years ago
• 51alg / TerpreT
  ☆42Updated 8 years ago