just solve it - a CLI utility to run a portfolio of SMT solvers in parallel - View it on GitHub