Robin Mueller
f4bc33aefa
All checks were successful
Rust/sat-rs/pipeline/head This commit looks good
9 lines
339 B
Markdown
9 lines
339 B
Markdown
[](https://crates.io/crates/satrs)
|
|
[](https://docs.rs/satrs)
|
|
|
|
sat-rs
|
|
======
|
|
|
|
This crate contains the primary components of the sat-rs framework.
|
|
You can find more information on the [homepage](https://egit.irs.uni-stuttgart.de/rust/sat-rs).
|