Alternatives and similar repositories for d4

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

• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆50Updated 3 years ago
• PetterS / qepcad
  Quantifier Elimination by Partial Cylindrical Algebraic Decomposition
  ☆26Updated 7 months ago
• Laakeri / sharpsat-td
  Entry to model counting competition 2021.
  ☆24Updated last year
• kovach / etch
  ☆16Updated last year
• conjure-cp / EssenceCatalog
  A collection of problem specifications in Essence.
  ☆10Updated last month
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆77Updated 2 years ago
• nfzhou / lp-contest
  ☆11Updated 3 months ago
• arminbiere / satch
  SAT Solver SATCH
  ☆120Updated 3 years ago
• verified-optimization / CvxLean
  Convex optimization modeling in Lean 4
  ☆61Updated last year
• chuffed / chuffed
  The Chuffed CP solver
  ☆118Updated this week
• marijnheule / drat-trim
  The DRAT-trim proof checker
  ☆68Updated last year
• arminbiere / kissat
  ☆598Updated 2 months ago
• latte-int / latte
  LattE integrale, software for counting lattice points and integration over convex polytopes
  ☆50Updated 8 months ago
• trolando / oink
  Oink, an implementation of modern parity game solvers
  ☆36Updated 3 months ago
• meelgroup / ganak
  High-performance model counter
  ☆50Updated 2 weeks ago
• arminbiere / cadical
  CaDiCaL SAT Solver
  ☆512Updated this week
• PACE-challenge / Treewidth
  List of Treewidth solvers, instances, and tools
  ☆36Updated 3 years ago
• audemard / glucose
  The glucose SAT solver
  ☆131Updated last week
• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆170Updated 6 years ago
• alexander-nadel / intel_sat_solver
  This repository contains the code of Intel(R) SAT Solver (IntelSAT)
  ☆36Updated 9 months ago
• greatspn / SOURCES
  Main repository of the GreatSPN framework
  ☆54Updated 6 months ago
• soarlab / FPTaylor
  Tool for Rigorous Estimation of Round-Off Floating-Point Errors
  ☆33Updated last year
• tulip-control / dd
  Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
  ☆215Updated 3 weeks ago
• tias / constraint-solving-course
  An open-source course on constraint solving
  ☆25Updated 2 months ago
• arminbiere / lingeling
  Lingeling SAT Solver
  ☆106Updated last year
• homalg-project / CAP_project
  CAP project -- Categories, Algorithms, and Programming
  ☆38Updated last week
• neuppl / rsdd
  Performant and safe knowledge compilation in rust
  ☆30Updated last month
• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆22Updated 3 months ago
• idaks / PW-explorer
  ☆16Updated 4 years ago
• marcthurley / sharpSAT
  The #SAT solver sharpSAT
  ☆63Updated 3 years ago