6 lines
175 B
Markdown
6 lines
175 B
Markdown
satrs-core
|
|
======
|
|
|
|
This crate contains the core components of the sat-rs framework.
|
|
You can find more information on [homepage](https://egit.irs.uni-stuttgart.de/rust/sat-rs)
|