Docs.rs
rustsat-tools-0.2.4
Platform
i686-unknown-linux-gnu
x86_64-unknown-linux-gnu
Feature flags
docs.rs
About docs.rs
Badges
Builds
Metadata
Shorthand URLs
Download
Rustdoc JSON
Build queue
Privacy policy
Rust
Rust website
The Book
Standard Library API Reference
Rust by Example
The Cargo Guide
Clippy Documentation
rustsat-tools 0.2.4
Tools and examples built on the RustSAT library
Crate
Source
Builds
Feature flags
Documentation
Coverage
28.13%
9
out of
32
items documented
0
out of
17
items with examples
Links
chrjabs/rustsat
52
14
5
crates.io
Dependencies
atty ^0.2.14
normal
clap ^4.2.4
normal
concolor-clap ^0.1.0
normal
nom ^7.1.3
normal
rand ^0.8.5
normal
rand_chacha ^0.3.1
normal
rustsat ^0.4.3
normal
rustsat-cadical ^0.2.4
normal
optional
rustsat-minisat ^0.2.4
normal
optional
termcolor ^1.2.0
normal
Versions
0.7.4
(2025-10-18)
0.7.3
(2025-08-07)
0.7.2
(2025-05-30)
0.7.1
(2025-05-01)
0.7.0
(2025-04-03)
0.6.6
(2025-03-27)
0.6.5
(2025-03-25)
0.4.4
(2025-02-19)
0.4.3
(2024-12-20)
0.4.2
(2024-12-13)
0.4.1
(2024-10-16)
0.4.0
(2024-10-16)
0.3.1
(2024-06-12)
0.3.0
(2024-04-30)
0.2.4
(2024-02-23)
0.2.3
(2024-01-11)
0.2.2
(2024-01-11)
0.2.1
(2023-12-18)
0.2.0
(2023-10-30)
0.1.0
(2023-08-23)
Owners
rustsat-tools - Tools for and with the RustSAT Library
This crate contains tools for and built on the RustSAT library.