search

SRI-CSL / yices2

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

Update uf_plugin.c #498

Closed ahmed-irfan closed 6 months ago

ahmed-irfan commented 6 months ago

duplicate code