search

SRI-CSL / sally

A model checker for infinite-state systems.
http://sri-csl.github.io/sally/
GNU General Public License v2.0
69 stars 12 forks source link

Improve integer reasoning #39

Open dddejan opened 8 years ago

dddejan commented 8 years ago

For software verification and the SyGuS competition. Need to finish integration of Yices2 generalization for integers.