GitHub repository: KeYProject/setup-smt
Primary language: TypeScript
Created: 2025-02-23T17:08:49Z
Description: Github Action for setting up some SMT solvers