Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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: 03 Aug 2024
https://github.com/solhop/rsat
SAT Solver
cdcl sat sat-solver satifiability sls unsat
Last synced: 03 Aug 2024