diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2017-06-21 11:15:06 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-06-21 11:15:06 -0500 |
commit | 04eb812bb229c2bb04dd384dcad913387ea4d372 (patch) | |
tree | 72b6e10d1e41860c4e8a1ee1aa0b29ebebe1e370 /configure.ac | |
parent | cdf019f8be3b4affdb582ceb95054b327006521c (diff) | |
parent | 3582df14e0bc8a3783ca231c67a0469ed0161042 (diff) |
Merge pull request #176 from CVC4/smtcomp2017
Better configuration for QF_NRA
Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions