Alternatives and similar repositories for PBDD

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

• tyler-utah / PBL

  View on GitHub
  A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…
  ☆10Jun 21, 2015Updated 10 years ago
• vardigroup / lisa

  View on GitHub
  Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…
  ☆12Sep 27, 2021Updated 4 years ago
• manuelcoppotelli / beamer-roma-theme

  View on GitHub
  A spiffy theme for LaTex Beamer inspired by Rome
  ☆12Sep 25, 2019Updated 6 years ago
• stbraun / fuzzing

  View on GitHub
  Tools for stress testing applications.
  ☆12Sep 20, 2020Updated 5 years ago
• marfvr / python-project-template

  View on GitHub
  Yet another Python project template.
  ☆13Sep 13, 2024Updated last year
• guolong-zheng / sling

  View on GitHub
  ☆22Apr 17, 2023Updated 2 years ago
• c-cube / sidekick

  View on GitHub
  A modular library for CDCL(T) SMT solvers, with [wip] proof generation.
  ☆26Feb 8, 2026Updated last week
• tulip-control / dd

  View on GitHub
  Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
  ☆215Dec 11, 2025Updated 2 months ago
• picorana / align_covid

  View on GitHub
  Coronavirus time series aligned by number of cases, not date.
  ☆22May 21, 2020Updated 5 years ago
• UCSD-PL / nano-smt

  View on GitHub
  "Toy" SMT Solver for Educational Purposes
  ☆20Apr 17, 2013Updated 12 years ago
• whitemech / lydia

  View on GitHub
  A tool for LDLf translation to DFA and for LDLf synthesis.
  ☆23Sep 22, 2023Updated 2 years ago
• whitemech / flloat

  View on GitHub
  From LTLf/LDLf To Automata
  ☆22Aug 17, 2020Updated 5 years ago
• Gbury / archsat

  View on GitHub
  A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superpos…
  ☆27Jul 13, 2023Updated 2 years ago
• opyenxes / OpyenXes

  View on GitHub
  A python implementation of the XES standard that is based on the Java implementation OpenXes.
  ☆21Dec 7, 2024Updated last year
• liffiton / PyMiniSolvers

  View on GitHub
  A Python API for the MiniSat and MiniCard constraint solvers.
  ☆22Jan 1, 2026Updated last month
• Oneiroe / PySimpleAutomata

  View on GitHub
  Academic Python Library to manage DFA, NFA and AFW automata.
  ☆23Apr 3, 2024Updated last year
• OKullmann / oklibrary

  View on GitHub
  A research platform and active library for generalised SAT solving
  ☆33Jun 12, 2025Updated 8 months ago
• jandom-devel / Jandom

  View on GitHub
  An abstract-interpretation based static analyzer written in Scala.
  ☆33Mar 23, 2022Updated 3 years ago
• ezaffanella / PPLite

  View on GitHub
  PPLite: convex polyhedra library for Abstract Interpretation
  ☆30Jan 22, 2026Updated 3 weeks ago
• alexeyignatiev / mkplot

  View on GitHub
  A Python script to create cactus and scatter plots based on matplotlib
  ☆27Mar 20, 2021Updated 4 years ago
• lonsing / depqbf

  View on GitHub
  DepQBF, a solver for quantified boolean formulae (QBF).
  ☆39Apr 11, 2023Updated 2 years ago
• c-cube / mc2

  View on GitHub
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Jan 1, 2024Updated 2 years ago
• tcsprojects / pgsolver

  View on GitHub
  A collection of tools for generating, manipulating and - most of all - solving parity games.
  ☆37Jan 10, 2026Updated last month
• QuMuLab / planner-for-relevant-policies

  View on GitHub
  ☆32Mar 21, 2024Updated last year
• stanleybak / nnenum

  View on GitHub
  Neural Network Enumeration Tool
  ☆34Jan 8, 2026Updated last month
• speckdavid / symk

  View on GitHub
  Symk is a state-of-the-art classical optimal and top-k planner.
  ☆41Dec 16, 2025Updated last month
• ccodel / verified-encodings

  View on GitHub
  Verifying encodings into propositional logic in Lean
  ☆14Aug 14, 2023Updated 2 years ago
• carlssonia / adaptive

  View on GitHub
  ☆10Jan 28, 2013Updated 13 years ago
• ishiura-compiler / Orange3

  View on GitHub
  pre-release.
  ☆12Jul 15, 2015Updated 10 years ago
• tzhang298 / UCLA-CS264A-Fall2020

  View on GitHub
  ☆14Jan 11, 2021Updated 5 years ago
• DavisPL / PCCC

  View on GitHub
  Proof-carrying code completions in Dafny
  ☆11Apr 4, 2025Updated 10 months ago
• GeorgOfenbeck / SpaceTime

  View on GitHub
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Jul 20, 2017Updated 8 years ago
• FlorentAvellaneda / InferDT

  View on GitHub
  The code of AAAI20 paper "Efficient Inference of Optimal Decision Trees"
  ☆10Jun 26, 2020Updated 5 years ago
• Shaddadi / veritex

  View on GitHub
  ☆12Jun 18, 2024Updated last year
• famzah / mpssh-py

  View on GitHub
  Mass Parallel Secure Shell command execution
  ☆12Nov 9, 2025Updated 3 months ago
• python4mpia / python4mpia

  View on GitHub
  MPIA Python Tutorial Source
  ☆14May 15, 2012Updated 13 years ago
• leepike / SmartCheck

  View on GitHub
  A Smarter QuickCheck
  ☆102Aug 11, 2017Updated 8 years ago
• logic-tools / sml-handbook

  View on GitHub
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆36Jan 8, 2017Updated 9 years ago
• charliermarsh / OCaml-SAT-Solvers

  View on GitHub
  An OCaml implementation of the DPLL algorithm for solving SAT instances. Uses nothing beyond the OCaml List library.
  ☆19Sep 5, 2014Updated 11 years ago