Add draft guide on BDDs #23

	name: CI

	on:
	workflow_dispatch:
	push:
	branches:
	- master
	paths-ignore:
	- "README.adoc"
	pull_request:

	jobs:
	test:
	name: Test on Linux
	runs-on: ubuntu-latest
	steps:
	- name: Checkout
	uses: actions/checkout@v4

	- name: Set up Rust
	uses: dtolnay/rust-toolchain@stable

	- name: Set up Rust cache
	uses: Swatinem/rust-cache@v2
	with:
	cache-on-failure: true

	- name: Run tests
	run: cargo test --workspace

	- name: Run N-queens (n=8) example
	run: cargo run --release --example queens -- 8

	test-windows:
	name: Test on Windows
	runs-on: windows-latest
	defaults:
	run:
	shell: bash
	steps:
	- name: Checkout
	uses: actions/checkout@v4

	- name: Set up Rust
	uses: dtolnay/rust-toolchain@master
	with:
	toolchain: stable-gnu

	- name: Set up Rust cache
	uses: Swatinem/rust-cache@v2
	with:
	cache-on-failure: true

	- name: Run tests
	run: cargo test --workspace

	- name: Run N-queens (n=8) example
	run: cargo run --release --example queens -- 8

	fmt:
	name: Rustfmt
	runs-on: ubuntu-latest
	steps:
	- name: Checkout
	uses: actions/checkout@v4

	- name: Set up Rust
	uses: dtolnay/rust-toolchain@stable
	with:
	components: rustfmt

	- name: Set up Rust cache
	uses: Swatinem/rust-cache@v2

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

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

	- name: Set up Rust
	uses: dtolnay/rust-toolchain@stable
	with:
	components: clippy

	- name: Set up Rust cache
	uses: Swatinem/rust-cache@v2

	- name: Run clippy
	run: cargo clippy --workspace --tests

Provide feedback