GitHub repository: yangky11/smt-portfolio
Primary language: Python
Description: A simple wrapper to run multiple SMT solvers in parallel