support qf-bvlra in Yices2 CDCL(T)

SRI-CSL / yices2

The Yices SMT Solver

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

GNU General Public License v3.0

360 stars 45 forks source link

support qf-bvlra in Yices2 CDCL(T) #515

Closed ahmed-irfan closed 2 weeks ago

ahmed-irfan commented 1 month ago

fixes #514

coveralls commented 1 month ago

coverage: 65.724% (-0.003%) from 65.727% when pulling 6db68bcd9f6f9d2679df567d89c803a0dcc5c38e on bvlra into 742f189b19b579437a7b559d8b0fad0a8132ec72 on master.