Calvin-L / many-smt

An SMT frontend that runs multiple backend solvers in parallel, returning the first result

Geek Repo

Github PK Tool