Robin Mueller
de4e6183b3
All checks were successful
Rust/sat-rs/pipeline/pr-main This commit looks good
- Add new shared subcrate satrs-shared to split off some shared components not expected to change very often. - Renmame `satrs-core` to `satrs`. It is expected that sat-rs will remain the primary crate, so the core information is superfluous, and core also implies stability, which will not be the case for some time.
9 lines
360 B
Markdown
9 lines
360 B
Markdown
[](https://crates.io/crates/satrs-core)
|
|
[](https://docs.rs/satrs-core)
|
|
|
|
satrs-core
|
|
======
|
|
|
|
This crate contains the core components of the sat-rs framework.
|
|
You can find more information on the [homepage](https://egit.irs.uni-stuttgart.de/rust/sat-rs).
|