search

SRI-CSL / yices2

The Yices SMT Solver
https://yices.csl.sri.com/
GNU General Public License v3.0
374 stars 48 forks source link

Decision hint queue #494

Closed Ovascos closed 8 months ago

Ovascos commented 8 months ago

Adds a queue to enable plugins to suggest a variable selection to the mcsat core. Fixed typo in function name "mcsat_process_registeration_queue" Updates the int_queue

coveralls commented 8 months ago

Coverage Status

coverage: 65.519% (-0.01%) from 65.531% when pulling 957843b6bf6fffbc69d541c6ea13c63d1d93bd0d on Ovascos:decision-hint-queue into 553897f5f339bc8852e104d0fa6a3ebb21e0a4d0 on SRI-CSL:master.