sort array and read terms according to the score

SRI-CSL / yices2

The Yices SMT Solver

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

GNU General Public License v3.0

363 stars 45 forks source link

sort array and read terms according to the score #443

Closed ahmed-irfan closed 1 year ago

coveralls commented 1 year ago

Coverage: 64.239% (+0.03%) from 64.21% when pulling 28dab970a0e2ba9b0252c11fdd4f92dfd760006c on mcsat-array-sort-heuristic into 5c440f41ac227efc6565ea089f41a17aaeaa6013 on master.