diff options
| author | filip <“filip.rabiega@gmail.com”> | 2025-04-22 17:02:54 +0200 |
|---|---|---|
| committer | filip <“filip.rabiega@gmail.com”> | 2025-04-22 17:02:54 +0200 |
| commit | 2ad36ac2079cc9be06d080d63204bc194375cf02 (patch) | |
| tree | 07d3b626009bb41435b4c1742c24200a556da353 /README.md | |
| parent | ac8283b32d20071b014bfc33db0e9a69392af800 (diff) | |
| download | chadprover-2ad36ac2079cc9be06d080d63204bc194375cf02.tar.gz chadprover-2ad36ac2079cc9be06d080d63204bc194375cf02.tar.bz2 chadprover-2ad36ac2079cc9be06d080d63204bc194375cf02.zip | |
added nnf and cleaned up some utils
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions