diff options
| author | Alex Ozdemir <aozdemir@hmc.edu> | 2019-01-16 09:52:42 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-01-16 09:52:42 -0800 |
| commit | 0287acb1180db269c5dd0fe0dad8f2fa925ba0b9 (patch) | |
| tree | 767ed45ac5f3df764384d4287406ca9ba1537c29 /NEWS | |
| parent | 1e6293daa3f6d61c9035e22ee76448b46dd83ce8 (diff) | |
Bugfix: LFSC clause equality (#2801)
* Bugfix: LFSC clause equality
My implementation of clause equality had an undocumented assumption that
the clauses didn't have any duplicate literals. Now that assumption is
gone, and the tests suite has been expanded.
* Added an empty clause test
* Typo fix: Yoni
Co-Authored-By: alex-ozdemir <aozdemir@hmc.edu>
* Address Yoni's comments
* Remove a duplicate clause_eq test.
* Add an ordering clause_eq test.
* Improve the documentation of clause_eq.
Diffstat (limited to 'NEWS')
0 files changed, 0 insertions, 0 deletions