diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-02-23 18:29:59 +0100 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-02-23 18:29:59 +0100 |
| commit | c05f39c2556725610840ec48b62243a10e2e098f (patch) | |
| tree | 9fbcf56613f8641fa4a0cfb9535a3115142d0aed /unit-tests/sat2.cnf | |
| parent | 240b76807340e59bb85b35e3ebbb807792459912 (diff) | |
| download | smtcoq-c05f39c2556725610840ec48b62243a10e2e098f.tar.gz smtcoq-c05f39c2556725610840ec48b62243a10e2e098f.zip | |
The examples on lists uses the true list type
Diffstat (limited to 'unit-tests/sat2.cnf')
0 files changed, 0 insertions, 0 deletions