rust/sat-rs
rust/sat-rs
5
1
Fork 0
Code Issues 9 Pull Requests Projects Releases 21 Wiki Activity

Merge pull request 'add badges' (#69) from add-badges into main
All checks were successful
Rust/sat-rs/pipeline/head This commit looks good
Details

Browse Source 
Reviewed-on: #69
This commit is contained in:
Robin Müller 2023-08-28 22:40:49 +02:00
commit 1f364f3b5c
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
satrs-core/README.md
View File

@ -1,5 +1,9 @@
[![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)
satrs-core satrs-core
====== ======
This crate contains the core components of the sat-rs framework. 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) You can find more information on [homepage](https://egit.irs.uni-stuttgart.de/rust/sat-rs).