add badges
Some checks are pending
Rust/sat-rs/pipeline/head Build started...

This commit is contained in:
Robin Müller 2023-08-28 22:40:01 +02:00
parent f761a04997
commit 6c45d58464
Signed by: muellerr
GPG Key ID: FCE0B2BD2195142F

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
======
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).