MCSAT: Array + Nonlinear

SRI-CSL / yices2

The Yices SMT Solver

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

GNU General Public License v3.0

363 stars 45 forks source link

MCSAT: Array + Nonlinear #430

Closed ahmed-irfan closed 1 year ago

ahmed-irfan commented 1 year ago

Adds tests

Enables nonlinear + array theory combination in the context configuration.

coveralls commented 1 year ago

Coverage: 64.245% (+0.02%) from 64.229% when pulling b087635f6751f967f7403090f770a791d818e43b on mcsat-array-comb into 6de3d6fe37abd4a6eec1d49e906bb31278a455bf on master.