Skip to content

Latest commit

 

History

History
40 lines (25 loc) · 678 Bytes

README.md

File metadata and controls

40 lines (25 loc) · 678 Bytes

setup-smt

This GitHub Action sets up the SMT (Satisfiability Modulo Theories) solver environment for your workflows. It currently supports Z3 (4.14.0) and CVC5 (1.2.1).

Usage

To use this action, include it in your workflow YAML file:

name: CI

on: [push, pull_request]

jobs:
  build:
    runs-on: ubuntu-latest

    steps:
      - uses: actions/checkout@v2

      - name: Set up SMT
        uses: keyproject/setup-smt

      - name: Run solver
        run: z3 <yoursmt smt-solver --version

Inputs

This action does not have any inputs.

Outputs

This action does not produce any outputs.

License

This project is licensed under the MIT License.