9 lines
368 B
Markdown
9 lines
368 B
Markdown
[](https://crates.io/crates/satrs-mib)
|
|
[](https://docs.rs/satrs-mib)
|
|
|
|
satrs-mib
|
|
=========
|
|
|
|
This helper crate contains the procedural macros for the sat-rs framework.
|
|
You can find more information on the [homepage](https://egit.irs.uni-stuttgart.de/rust/sat-rs).
|