SMT-RAT submission#164

martinjonas merged 2 commits intoSMT-COMP:masterSMT-COMP/smt-comp.github.io:masterfrom

ValentinPromies:submission-smt-ratValentinPromies/smt-comp.github.io:submission-smt-ratCopy head branch name to clipboard