Improved Integer handling in NRA plugin

SRI-CSL / yices2

The Yices SMT Solver

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

GNU General Public License v3.0

374 stars 48 forks source link

Improved Integer handling in NRA plugin #533

Closed Ovascos closed 3 weeks ago

Ovascos commented 1 month ago

Requires the corresponding PR in libpoly.

coveralls commented 1 month ago

coverage: 65.92% (-0.004%) from 65.924% when pulling 3caa9ce64cc9f1bb7f43e2823af9c0c9b1f4fad2 on Ovascos:nra-int-update into 234bd18c7b827c53317c3a52497ec5016bb27ec6 on SRI-CSL:master.

ahmed-irfan commented 1 month ago

@Ovascos Is this PR ready?