diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2013-06-24 12:52:07 -0500 |
---|---|---|
committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2013-06-24 12:52:21 -0500 |
commit | 30d21b25af6ee619e5f53d1ca8821b710fad4cb7 (patch) | |
tree | 409009a6ab55986308cc73d030db53489beef26d /test/Makefile | |
parent | 3eaf02c01e74a2a43b2eff7638d6c16171a11a13 (diff) |
Add options for symmetry breaking in uf+ss totality axiom approach, option for using clique lemmas instead of splitting on demand, option for simplifying models in fmf-fmc, minor fixes for rewrite engine
Diffstat (limited to 'test/Makefile')
0 files changed, 0 insertions, 0 deletions