Lib.rs

Version	Released	Features	Dependency changes	Downloads/mo	MSRV
0.7.5 [git]	Jan 30, 2026	bench		450	1.76
0.7.4 [git]	Oct 18, 2025	all internals	web-time	600	1.76
0.7.3 [git]	Aug 7, 2025			210	1.76
0.7.2 [git]	May 30, 2025		pigeons 0.2.0		1.76
0.7.1 [git]	May 1, 2025				1.76
0.7.0 [git]	Apr 3, 2025	proof-logging verbose-proofs	pigeons		1.75
0.6.6 [git]	Mar 27, 2025				1.74
0.6.5 [git]	Mar 25, 2025				1.74
0.6.4 [git]	Feb 19, 2025	serde	serde itertools 0.14.0 rand 0.9.0		1.66
0.6.3 [git]	Dec 20, 2024		bzip2 0.5.0		1.66
0.6.2 [git]	Dec 13, 2024		thiserror 2.0.6		1.66
0.6.1 [git]	Oct 16, 2024				1.66
0.6.0 [git]	Oct 16, 2024		itertools tempfile rustc-hash 2.0.0		1.66
0.5.1 [git]	Jun 12, 2024				1.66
0.5.0 [src]	Apr 30, 2024	ipasir-display ipasir pyapi	anyhow cbindgen pyo3 pyo3-build-config		1.66
0.4.3 [git]	Feb 23, 2024				1.68~1.66
0.4.2 [git]	Jan 11, 2024				1.68~1.64
0.4.1 [src]	Jan 11, 2024				1.68~1.64
0.4.0 [git]	Dec 18, 2023	pyapi	pyo3 pyo3-build-config		1.68~1.64
0.3.0 [git]	Oct 30, 2023	bench atty clap concolor-clap termcolor	cbindgen thiserror visibility 0.1.0 atty cc chrono clap cmake concolor-clap git2 glob termcolor		1.68~1.64
0.2.1 [git]	Sep 5, 2023				1.66~1.60
0.2.0 [git]	Aug 23, 2023	all atty clap concolor-clap termcolor all-non-conflicting cadical cli default-but-solvers glucose4 kissat minisat			1.66~1.60
0.1.2 [git]	Aug 22, 2023				1.66~1.60
0.1.1	Aug 21, 2023
0.1.0	Jul 11, 2023

All published by Christoph Jabs.

Minimum Supported Rust Version (MSRV) is only approximate. A range of two versions means "oldest rustc verified to work ~ oldest rustc that might work". Actual MSRV will vary depending on crate features, target platform, and dependency versions. The data is estimated based on the latest stable Rust version available at the time the crate has been published and cargo check or cargo clippy on Linux/aarch64.