smtkit 0.1.1

Facade crate for SMT constraint IR + SMT-LIB backends
Documentation
name: ci

on:
  push:
  pull_request:

jobs:
  rust:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v4

      - name: install rust
        uses: dtolnay/rust-toolchain@stable
        with:
          components: rustfmt

      - name: rustfmt
        run: cargo fmt --all --check

      - name: cargo test
        run: cargo test --workspace