maya.zenmaya.xyz / solver
a mildly optimized sat solver
sat-solver
Star 0
Fork 0
Watch
74 1 0
.cargo
.config
crates
npins
report
tests
.envrc
.gitignore
bench_nqueens.sh
bench.json
Cargo.lock
Cargo.toml
results.jsonl
shell.nix