zenmaya/solver
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
a sat solver
58 commits 1 branch 0 tags 243 MiB
  • Rust 90.7%
  • Nix 5.6%
  • Python 3.7%
Find a file
Exact
zenmaya 68adc16064 Add errors when trying to cancel non-cancellable solvers
2026-06-10 19:21:28 +02: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
crates Add errors when trying to cancel non-cancellable solvers 2026-06-10 19:21:28 +02:00
npins Update benching 2026-06-10 18:21:51 +02:00
tests Cleanup 2026-06-10 15:13:57 +02:00
.envrc Add formula2cnf 2025-07-08 17:01:09 +02:00
.gitignore Add formula2cnf 2025-07-08 17:01:09 +02:00
bench.json Update benching 2026-06-10 18:21:51 +02:00
Cargo.lock Update benching 2026-06-10 18:21:51 +02:00
Cargo.toml Add bench limit 2026-05-30 12:49:49 +02:00
shell.nix Update benching 2026-06-10 18:21:51 +02:00