|
.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 graphs
|
2026-08-10 13:36:15 +02:00 |
|
npins
|
Update benching
|
2026-06-10 18:21:51 +02:00 |
|
report
|
Add report
|
2026-08-11 16:48:48 +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
|
Add nqueens bench
|
2026-08-10 18:04:47 +02:00 |
|
bench_nqueens.sh
|
Grep for SAT/UNSAT as well
|
2026-08-10 18:12:58 +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 |
|
results.jsonl
|
Add graphs
|
2026-08-10 13:36:15 +02:00 |
|
shell.nix
|
Add nqueens bench
|
2026-08-10 18:04:47 +02:00 |
