add the new subsolver #167

	name: CI

	on:
	push:
	branches: [ "master" ]
	pull_request:
	branches: [ "master" ]

	env:
	CARGO_TERM_COLOR: always

	jobs:
	build-and-test:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- name: Build default Rust library
	run: cargo build --verbose --release
	- name: Run Rust unit and integration tests
	run: cargo test --verbose --release --lib --tests
	- name: Clean before doctests
	run: cargo clean
	- name: Run Rust doctests
	run: cargo test --verbose --release --doc -j 1

	benchmarks:
	runs-on: ubuntu-latest
	permissions:
	contents: write
	pull-requests: write
	steps:
	- uses: actions/checkout@v4
	- name: Run Criterion benchmarks
	run: cargo bench --bench helpers --bench preprocess --bench solver -- --sample-size 30 --output-format bencher \| tee benchmark-output.txt
	- name: Store benchmark result
	uses: benchmark-action/github-action-benchmark@v1
	with:
	name: hercules-criterion
	tool: cargo
	output-file-path: benchmark-output.txt
	github-token: ${{ secrets.GITHUB_TOKEN }}
	auto-push: ${{ github.event_name == 'push' }}
	save-data-file: ${{ github.event_name == 'push' }}
	comment-on-alert: true
	fail-on-alert: false
	alert-threshold: '120%'
	fail-threshold: '140%'

	python-bindings:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: actions/setup-python@v5
	with:
	python-version: "3.11"
	- name: Check Python-enabled build
	run: cargo check --verbose --features python

Provide feedback