delete binary clauses that are true at the base level

SRI-CSL / yices2

The Yices SMT Solver

https://yices.csl.sri.com/

GNU General Public License v3.0

360 stars 45 forks source link

delete binary clauses that are true at the base level #483

Closed ahmed-irfan closed 6 months ago

coveralls commented 6 months ago

coverage: 65.147% (+0.01%) from 65.136% when pulling 8d9e85ff49622bdfa555f2abe457a8b10e75eb7c on mcsat-filter-binary-clauses into e27cf308cffb0ecc6cc7165c10e81ca65bc303b3 on master.