diff options
| author |  Unknown <aleks@aleks-PC.csail.mit.edu> | 2011-10-10 18:41:36 -0400 |
|---|---|---|
| committer | Unknown <aleks@aleks-PC.csail.mit.edu> | 2011-10-10 18:41:36 -0400 |
| commit | 9428079835bca16d4fd04ea4b9fb5d9801e71232 (patch) | |
| tree | e4562b8d90785c6114ea1aaf5e51813b924428ed /Util | |
| parent | 280a1f0644ab07863b09ef80c8b96d9a4c8a7371 (diff) | |
Jennisys: changed the fixpoint solver to pick only the true clause in a disjunction (if there is one that is true)
Diffstat (limited to 'Util')
0 files changed, 0 insertions, 0 deletions