Age | Commit message (Collapse) | Author | |
---|---|---|---|
2016-05-15 | Work on --sygus-direct-eval. Minor optimizations, updates to casc scripts. ↵ | ajreynol | |
Enable e-matching when --strings-exp is enabled. | |||
2016-05-12 | Add casc scripts. Improvements to qcf related to nested quantifiers and ↵ | ajreynol | |
variable ordering. |