GitHub repository: wadoon/setup-smt
Primary language: TypeScript
Description: Setup SMT solver in Github Actions