a sat solver
  • Rust 89.7%
  • Nix 6.2%
  • Python 4.1%
Find a file
2026-03-08 17:19:50 +01:00
.cargo Add cargo cranelift profile 2025-08-13 17:35:14 +02:00
.config Add nextest config 2025-08-13 17:35:37 +02:00
benches Add human formatting 2026-03-06 12:40:25 +01:00
npins Update sources 2026-02-11 17:56:54 +01:00
src Add glucose restarts 2026-03-08 17:19:50 +01:00
tests Fix tests and others 2026-02-24 20:16:56 +01:00
.envrc Add formula2cnf 2025-07-08 17:01:09 +02:00
.gitignore Add formula2cnf 2025-07-08 17:01:09 +02:00
Cargo.lock Add progress reporting 2026-03-06 12:33:09 +01:00
Cargo.toml Add progress reporting 2026-03-06 12:33:09 +01:00
shell.nix More options, clause deletion and restarts 2026-02-26 22:33:47 +01:00