Mcsat set initial var order api

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 set initial var order api #500

Closed ahmed-irfan closed 3 months ago

ahmed-irfan commented 3 months ago

Adds a new api method for setting initial variable ordering (MCSAT)

Renames set_variable_order -> set_fixed_variable_order

Adds documentation

coveralls commented 3 months ago

coverage: 65.606% (-0.006%) from 65.612% when pulling 521789923ea14657807b70c40d38dbcd2648ae0f on mcsat-set-initial-var-order-api into a17735fd03df0d8776ee27ff12577c9cd9230b6d on master.