diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-06-19 18:22:38 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-19 18:22:38 -0500 |
| commit | 0f9ae462a99f04607c6406afb129fa1393f1ce33 (patch) | |
| tree | 094dde4d0b2dcbfea7e0d1a5ea0fe2c8c4e0317e /src/expr/lazy_proof.cpp | |
| parent | a517757f04e519259dde9ed7309168e7475354e3 (diff) | |
Add casc j10 scripts (#4621)
Adds scripts submitted to CASC competition.
Note that this version of CVC4 submitted to CASC was modified to allow models when --sort-inference is enabled, since model output is required.
Diffstat (limited to 'src/expr/lazy_proof.cpp')
0 files changed, 0 insertions, 0 deletions