Use control library without Z3. #102

	name: build
	on: [push]
	env:
	# A fixed version used for testing, so that the builds don't
	# spontaneously break after a few years.
	# Make sure to update this from time to time.
	RUST_VERSION: "1.82.0"

	## At the moment, everything is running on nightly. Once Rocket 0.5 is out, stable/beta can be enabled.

	jobs:
	# Check formatting
	fmt:
	name: Rustfmt
	runs-on: ubuntu-latest
	env:
	RUSTFLAGS: "-D warnings"
	steps:
	- uses: actions/checkout@v4
	- uses: dtolnay/rust-toolchain@stable
	with:
	toolchain: ${{ env.RUST_VERSION }}
	components: rustfmt
	- run: cargo fmt --all -- --check


	# Run basic code validity check.
	check:
	needs: fmt
	name: Check
	runs-on: ubuntu-latest
	env:
	RUSTFLAGS: "-D warnings"
	steps:
	- uses: actions/checkout@v4
	- uses: dtolnay/rust-toolchain@stable
	with:
	toolchain: ${{ env.RUST_VERSION }}
	- run: cargo check --all-features

	# Run all tests
	test-nightly:
	needs: check
	name: Test Suite
	runs-on: ubuntu-latest
	env:
	RUSTFLAGS: "-D warnings"
	steps:
	- uses: actions/checkout@v4
	- uses: dtolnay/rust-toolchain@stable
	with:
	toolchain: ${{ env.RUST_VERSION }}
	components: rustfmt
	- run: cargo test --all-features

	# Check code style
	clippy:
	needs: check
	name: Clippy
	runs-on: ubuntu-latest
	env:
	RUSTFLAGS: "-D warnings"
	steps:
	- uses: actions/checkout@v4
	- uses: dtolnay/rust-toolchain@stable
	with:
	toolchain: ${{ env.RUST_VERSION }}
	components: clippy
	- run: cargo clippy --all-features

Provide feedback