Age | Commit message (Expand) | Author |
---|---|---|
2019-08-08 | Add subdirectories to contrib for competition scripts (#3164) | Andrew Reynolds |
2017-06-21 | Fix unsat cores script for SMT-COMP (#179) | Andres Nötzli |
2017-06-21 | Add run script for unsat cores track at SMT-COMP (#177) | Andres Nötzli |