mcsat heuristic update -- use similar heuristic parameters as in cdclt

SRI-CSL / yices2

The Yices SMT Solver

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

GNU General Public License v3.0

360 stars 45 forks source link

mcsat heuristic update -- use similar heuristic parameters as in cdclt #506

Closed ahmed-irfan closed 3 months ago

coveralls commented 3 months ago

coverage: 65.669% (+0.02%) from 65.653% when pulling 5b079d3b8fa2b514251efbfde00999992ed6b84d on mcsat-update-heuristic into e7292fd428c619e691236d7d072ac0a28b9acc5d on master.