diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2015-06-29 13:30:44 +0200 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2015-06-29 13:30:44 +0200 |
| commit | a401cd2deb921c3499d8fdbe0d14cfee67c92737 (patch) | |
| tree | 5d92f83ef10fca5a05912a1a93527fbe555451af /config | |
| parent | 65c2e1688d83dfeb913b689c10d9b43c5dc89cc0 (diff) | |
Module to infer alpha equivalence of quantified formulas. Minor clean up of options.
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions