diff options
| author | ckeller <ckeller@users.noreply.github.com> | 2021-05-25 17:18:15 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-25 17:18:15 +0200 |
| commit | c827acdbf2814bc13495ab1599af9dfe85e32fbb (patch) | |
| tree | 5115b5d2abeb5e7a3eaa6e45de82995dae37a18a /src/zchaff/cnfParser.mli | |
| parent | cfadb667ba2c9904ff0d94bf186cf9f89e370515 (diff) | |
| download | smtcoq-c827acdbf2814bc13495ab1599af9dfe85e32fbb.tar.gz smtcoq-c827acdbf2814bc13495ab1599af9dfe85e32fbb.zip | |
CompDec clean-up (#93)
Clean-up the definition of CompDec, leaving the required minimum (in particular for functional arrays)
Diffstat (limited to 'src/zchaff/cnfParser.mli')
0 files changed, 0 insertions, 0 deletions