diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2011-07-11 12:45:16 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2011-07-11 12:45:16 +0000 |
| commit | e72fdcf6333d575e9c737a6274aa627dc9c54b47 (patch) | |
| tree | dcab5cfd03cb531201fd0c3d27d2c05dc6f42775 /test/regress/regress0/boolean-prec.cvc | |
| parent | 25e9c72dd689d3b621b901220794c652a3ba589a (diff) | |
adding disequality propagation
relevant comparison http://goedel.cims.nyu.edu/regress-results/compare_jobs.php?job_id=2602&reference_id=2590&p=5
Diffstat (limited to 'test/regress/regress0/boolean-prec.cvc')
0 files changed, 0 insertions, 0 deletions