diff options
| author | BESSON Frederic | 2020-09-02 15:44:51 +0200 |
|---|---|---|
| committer | BESSON Frederic | 2020-11-18 09:49:22 +0100 |
| commit | 8aa451b1e31889ef2beffbbd4764190ca61939a6 (patch) | |
| tree | 742da6005911ed2d7f0e4c89895d90e7f8c5b1be /dev/bugzilla2github_stripped.csv | |
| parent | 0a6507acc9f6ba896e10d1442d8ff869f0178942 (diff) | |
[micromega] Optimised cnf in case an hypothesis is trivially False.
This optimisation reduces (sometimes) the dependencies of a proof.
Diffstat (limited to 'dev/bugzilla2github_stripped.csv')
0 files changed, 0 insertions, 0 deletions