Projects in Awesome Lists tagged with cdcl
A curated list of projects in awesome lists tagged with cdcl .
https://github.com/shnarazk/splr
A modern CDCL SAT solver in Rust
cdcl nix-flake rust sat-solver satisfiability
Last synced: 13 Apr 2025
https://github.com/imandra-ai/batsmt
[wip] Modular SMT solver in rust
cdcl congruence-closure rust smt
Last synced: 12 Jul 2025
https://github.com/imandra-ai/batsmt-ocaml
OCaml bindings for batsmt
cdcl ocaml rust rust-bindings smt
Last synced: 19 May 2026
https://github.com/solhop/rsat
SAT Solver
cdcl sat sat-solver satifiability sls unsat
Last synced: 30 Dec 2025
https://github.com/msoos/sat_competition_2013_sources
SAT Competition 2013 Source Archives
cdcl formal-verification sat smt
Last synced: 21 Feb 2026
https://github.com/nitinkedia7/satispy
Super efficient SAT solver in 500 lines of code
boolean-satisfiability cdcl cprofile python
Last synced: 16 May 2026
https://github.com/msoos/sat_competition_2014_sources
SAT Competition 2014 Source Archives
cdcl formal-verification sat-solver
Last synced: 25 Feb 2026
https://github.com/imandra-ai/abstract-transition-systems
[alpha] An implementation of several classic transition systems that describe algorithms for SAT or SMT, for interactive exploration
cdcl dpll-algorithm formalization ocaml sat smt
Last synced: 16 Mar 2025
https://github.com/contriboss/pubgrub-go
A comprehensive Go implementation of the PubGrub version solving algorithm with CDCL, semantic versioning, and enhanced error reporting
cdcl dependency-resolution golang package-manager pubgrub sat-solver semver version-solving
Last synced: 16 Jan 2026
https://github.com/vinisilvag/nanosat
An almost-efficient implementation of the Conflit-Driven Clause Learning (CDCL) framework for solving SAT problems in Rust.
Last synced: 07 May 2025
https://github.com/jiriklepl/sat-smt-solvers
cdcl dpll mff-uk sat sat-solver
Last synced: 06 Jul 2025
https://github.com/timbeurskens/gobdd
An ROBDD & CDCL based SAT solver
bdd boolean-algebra cdcl cnf cnf-clauses sat sat-solver smtlib tseitin-transformation
Last synced: 23 Feb 2026
