mtrberzi/smtrecords

SMT solver test and benchmark framework

Python