Mcsat check model with hint API method

SRI-CSL / yices2

The Yices SMT Solver

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

GNU General Public License v3.0

370 stars 47 forks source link

Mcsat check model with hint API method #472

Closed ahmed-irfan closed 11 months ago

ahmed-irfan commented 11 months ago

Adds the new api method
Adds a test to check the api method
Updates the documentation

coveralls commented 11 months ago

coverage: 65.066% (-0.03%) from 65.098% when pulling bdd5e40d55221c3838ce99965f72a9a08a67d0a8 on mcsat-check-model-with-hint into 30dd2c1ddb316b2aef5a0217318a284bbbf2a11d on master.