projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a517757) | patch
Add casc j10 scripts (#4621)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 19 Jun 2020 23:22:38 +0000 (18:22 -0500)
committerGitHub <noreply@github.com>
Fri, 19 Jun 2020 23:22:38 +0000 (18:22 -0500)
commit0f9ae462a99f04607c6406afb129fa1393f1ce33
tree094dde4d0b2dcbfea7e0d1a5ea0fe2c8c4e0317etree
parenta517757f04e519259dde9ed7309168e7475354e3commit | 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.
contrib/competitions/casc/run-script-cascj10-fnt [new file with mode: 0755] blob
contrib/competitions/casc/run-script-cascj10-fof [new file with mode: 0755] blob
contrib/competitions/casc/run-script-cascj10-tfa [new file with mode: 0755] blob
contrib/competitions/casc/run-script-cascj10-tfn-nr [new file with mode: 0644] blob
contrib/competitions/casc/run-script-cascj10-thf [new file with mode: 0755] blob
contrib/competitions/casc/run-script-cascj10-thf-sat-nr [new file with mode: 0644] blob