feat(smt): add `smt` crate #69

	name: main
	on:
	pull_request:
	types: [opened, reopened, synchronize]
	branches: [main]
	push:
	branches: [main]

	concurrency:
	group: ${{ github.workflow }}-${{ github.head_ref \|\| github.run_id }}
	cancel-in-progress: true

	jobs:
	build:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: dtolnay/rust-toolchain@stable
	- uses: Swatinem/[email protected]
	- run: make build

	format:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- name: Install dprint
	uses: taiki-e/[email protected]
	with:
	tool: dprint
	- run: make check

	lint:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: dtolnay/rust-toolchain@stable
	with:
	components: clippy
	- uses: Swatinem/[email protected]
	- run: make lint

	test:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- name: Install cargo-nextest
	uses: taiki-e/[email protected]
	with:
	tool: cargo-nextest
	- run: cargo nextest run

Provide feedback