diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-02-01 14:55:19 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-01 14:55:19 -0600 |
| commit | c48548ea68b6241bee2cb9393ef2710c5803fb06 (patch) | |
| tree | 044b335f3ea83baef89207c49c0cd5da227ecaa8 /.gitignore | |
| parent | eac7249ef4e35ad8c37f36098c228965f71a319b (diff) | |
Eliminate PREPROCESS lemma property (#5827)
This is now possible since we always preprocess lemmas.
Note that the LemmaProperty on inferences may be redundant throughout the non-linear solver now.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions