allow function decisions in the uf plugin

SRI-CSL / yices2

The Yices SMT Solver

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

GNU General Public License v3.0

363 stars 45 forks source link

allow function decisions in the uf plugin #426

Closed ahmed-irfan closed 1 year ago

ahmed-irfan commented 1 year ago

We need this for the arrays support in mcsat.

coveralls commented 1 year ago

Coverage: 64.099% (+0.004%) from 64.095% when pulling 571e703e3bc946c8c2506880c3da5ddf0a1e3659 on ahmed-irfan:mcsat-fun-decide into c8dd126084692f4b92fb4f81d7c459c889422ed1 on SRI-CSL:master.