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 /test/files/pos/t2261.scala | |
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 'test/files/pos/t2261.scala')
0 files changed, 0 insertions, 0 deletions