| commit | ac1b92b181c293a00360a028857cb76a6cc8b191 | [log] [tgz] |
|---|---|---|
| author | Trevor Hansen <trev_abroad@yahoo.com> | Mon May 25 15:58:23 2020 |
| committer | Trevor Hansen <trev_abroad@yahoo.com> | Mon May 25 15:58:23 2020 |
| tree | 703831971217c8c55b9e09ce93bd7ff17ab5d79c | |
| parent | 83bf737ade95d5e759a3f95794769392914e228c [diff] |
initial smtcomp 2020 mergesat.
diff --git a/smtcomp/smtcomp-2020-mergesat.zip b/smtcomp/smtcomp-2020-mergesat.zip new file mode 100644 index 0000000..64bb668 --- /dev/null +++ b/smtcomp/smtcomp-2020-mergesat.zip Binary files differ