https://github.com/vroland/nnf2trace
Tip revision: ae509e9ec0e3b03a4b4b6a10754404cd5c469cbd authored by Valentin Roland on 27 February 2022, 19:37:38 UTC
add readme
add readme
Tip revision: ae509e9
File | Mode | Size |
---|---|---|
src | ||
.gitignore | -rw-r--r-- | 8 bytes |
Cargo.lock | -rw-r--r-- | 6.8 KB |
Cargo.toml | -rw-r--r-- | 295 bytes |
README.md | -rw-r--r-- | 420 bytes |
minisat | -rwxr-xr-x | 472.5 KB |