diff options
| author | Gerard Basler <gerard.basler@gmail.com> | 2015-03-02 04:26:25 +0100 |
|---|---|---|
| committer | Gerard Basler <gerard.basler@leonteq.com> | 2015-03-02 11:14:49 +0100 |
| commit | fe2572c0df8fd209fc5d2e1e32d913b889acbbdd (patch) | |
| tree | 9118449d2a65258bda329e85e79243cdecf01390 /.travis.yml | |
| parent | 081c1f1d3ae01b1a237ab0f7cacdf04eecf71793 (diff) | |
| download | scala-fe2572c0df8fd209fc5d2e1e32d913b889acbbdd.tar.gz scala-fe2572c0df8fd209fc5d2e1e32d913b889acbbdd.tar.bz2 scala-fe2572c0df8fd209fc5d2e1e32d913b889acbbdd.zip | |
Bring back improvements from `SI-6942` that were lost during the switch to
Tseitin's transformation, e.g., use
`CNF(P1 /\ ... /\ PN) == CNF(P1) ++ CNF(...) ++ CNF(PN)`
in order to simplify the resultung formula.
Diffstat (limited to '.travis.yml')
0 files changed, 0 insertions, 0 deletions