diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2023-08-10 11:16:44 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2023-08-10 11:16:44 +0100 |
| commit | c321e39de166308d8db2f6ebe577edb3297b507c (patch) | |
| tree | b3b4d1769b3f19915ccecfe778d71543c7020bdc /doc | |
| parent | 05afcff334725e885522e9859b9ab735a404014c (diff) | |
| download | vericert-c321e39de166308d8db2f6ebe577edb3297b507c.tar.gz vericert-c321e39de166308d8db2f6ebe577edb3297b507c.zip | |
Remove tseytin transformation temporarily
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions