diff options
| author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-02-19 17:36:23 +0000 |
|---|---|---|
| committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-02-19 17:36:23 +0000 |
| commit | 34b455b1d74fdc06dd2f874fa2bc8d73127fbedf (patch) | |
| tree | f662516ae1ce26410fdaec2752ac7bb034c79c95 /test/unit/Makefile.tests | |
| parent | 9f8f4ae9ef9d9d79973b77b6c61af4c5db034841 (diff) | |
Changing minArity of AND/OR to 1 in SMT parser
Diffstat (limited to 'test/unit/Makefile.tests')
0 files changed, 0 insertions, 0 deletions