2023-08-28 22:40:01 +02:00
|
|
|
[![Crates.io](https://img.shields.io/crates/v/satrs-core)](https://crates.io/crates/satrs-core)
|
|
|
|
[![docs.rs](https://img.shields.io/docsrs/satrs-core)](https://docs.rs/satrs-core)
|
|
|
|
|
2023-01-11 10:30:03 +01:00
|
|
|
satrs-core
|
|
|
|
======
|
|
|
|
|
2023-02-04 14:01:37 +01:00
|
|
|
This crate contains the core components of the sat-rs framework.
|
2024-02-12 15:51:37 +01:00
|
|
|
You can find more information on the [homepage](https://egit.irs.uni-stuttgart.de/rust/sat-rs).
|