|
.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 |
