diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2014-01-03 22:36:55 -0600 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2014-01-03 22:36:55 -0600 |
| commit | 2ce92038d8455637e313a1c2d0ce5d31a3d42b10 (patch) | |
| tree | ce599c2e981bbd79d024e90cff6e97468b42712b /.gitignore | |
| parent | 93f084750d8a76d63fc74d242944bce0635c2194 (diff) | |
Removing and consolidating options for uf-ss and quantifiers. Bug fix for inst gen-style MBQI.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions