sally icon indicating copy to clipboard operation
sally copied to clipboard

Published 20 hours ago • verified publisher icon SRI-CSL

Improve integer reasoning

Open dddejan opened this issue 9 years ago • 0 comments

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

dddejan avatar Sep 02 '16 17:09 dddejan