search

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: hints for reals #516

Closed ahmed-irfan closed 2 weeks ago

coveralls commented 1 month ago

Coverage Status

coverage: 65.726% (-0.002%) from 65.728% when pulling 6f93e3d4d1fc9a4ddce7cac9e1f4c2dde841564e on hint-real-decisions into 558d951b727a8c484c5ed2a28b922e95809db8ca on master.