diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2017-05-05 17:41:18 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2017-05-05 17:41:18 -0500 |
| commit | f4b158635255affcafe52c7664fc5de4660c3f83 (patch) | |
| tree | c22a6b39b7b8137b5ca476188b4d8fad1430f45c /COPYING | |
| parent | 5ce46e8a6ac10388b7a2032c7d67a81da0edbd5e (diff) | |
Do not eliminate extended arithmetic symbols when finite model finding is on, add regression.
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions