search

SRI-CSL / yices2

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

mcsat: Fix comments #413

Closed ahmed-irfan closed 1 year ago

ahmed-irfan commented 1 year ago

fix typos in comments