Age | Commit message (Expand) | Author |
---|---|---|
2017-01-04 | Setting the executable bit for the newer run scripts in contrib. | Tim King |
2016-05-15 | Work on --sygus-direct-eval. Minor optimizations, updates to casc scripts. En... | ajreynol |
2016-05-12 | Add casc scripts. Improvements to qcf related to nested quantifiers and varia... | ajreynol |