Implement and improve simplification logic #89

	name: "CI"
	on:
	push:
	branches: [ "main" ]
	pull_request:

	jobs:
	formatting:
	name: cargo fmt
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4

	- name: Setup Rust toolchain with rustfmt
	uses: actions-rust-lang/setup-rust-toolchain@v1
	with:
	components: rustfmt

	- name: Rustfmt Check
	uses: actions-rust-lang/rustfmt@v1

	clippy:
	name: cargo clippy
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4

	- name: Setup Rust toolchain with clippy
	uses: actions-rust-lang/setup-rust-toolchain@v1
	with:
	components: clippy
	rustflags: ""

	- name: Clippy Check
	run: cargo clippy --all-features

	test:
	name: Test on ${{ matrix.os }}
	runs-on: ${{ matrix.os }}
	strategy:
	matrix:
	os: [ ubuntu-latest, macos-latest, windows-latest]
	fail-fast: false
	steps:
	- uses: actions/checkout@v4

	- name: Setup Rust toolchain
	uses: actions-rust-lang/setup-rust-toolchain@v1
	with:
	rustflags: ""

	- name: Build
	run: cargo build --all-features

	- name: Run tests
	run: cargo test --all-features
	continue-on-error: true # FIXME: tests should be passing

Provide feedback