extra credit Search 85,062 technologies ⌘K Download for Mac

keyproject/setup-smt

Download and provides the z3 and cvc5 SMT solvers

Category
GitHub Actions
↑↓ move ↵ open