MCSAT: more decision hints for integer variables

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: more decision hints for integer variables #511

Closed ahmed-irfan closed 2 months ago

ahmed-irfan commented 2 months ago

improves performance on QF_NIA benchmarks (17139 solved -> ~~17522~~ 17578 solved)

coveralls commented 2 months ago

coverage: 65.728%. remained the same when pulling 9865782584f94c16a5152bfc7d0ae74486aba1f9 on mcsat-int-hint-2 into 5082c90d3a8cbbb8da4523415308d394329db591 on master.