diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2015-10-08 23:57:50 +0200 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2015-10-08 23:58:02 +0200 |
commit | e253094f6b4ade626813a3d500d86785e5dde138 (patch) | |
tree | dd1e2c897249d32f443578bbf73c0e9b637fa620 /configure.ac | |
parent | 477e72b588e8cd6630f0379ac2014a1f738f94fc (diff) |
Minor improvements to strings. Refactor rewriter. Enable fairness for multiple sorts in UF finite model finding by default.
Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions