toysolver-0.6.0: misc/smtcomp/starexec_description.txt

A toylevel SMT solver for QFUFLRA and its sublogics