let's try this
Some checks are pending
Rust/sat-rs/pipeline/head Build started...

This commit is contained in:
Robin Müller 2024-02-20 14:54:58 +01:00
parent b229360233
commit 05df24447b

View File

@ -1,9 +1,9 @@
<p align="center"> <img src="misc/satrs-logo.png" width="40%"> </p>
[![sat-rs website](https://img.shields.io/badge/sat--rs-website-green?style=flat)](https://absatsw.irs.uni-stuttgart.de/projects/sat-rs/)
[![sat-rs book](https://img.shields.io/badge/sat--rs-book-green?style=flat)](https://absatsw.irs.uni-stuttgart.de/projects/sat-rs/book/)
[![Crates.io](https://img.shields.io/crates/v/satrs)](https://crates.io/crates/satrs)
[![docs.rs](https://img.shields.io/docsrs/satrs)](https://docs.rs/satrs)
![sat-rs book](https://img.shields.io/badge/sat--rs-book-green?style=flat&link=https%3A%2F%2Fabsatsw.irs.uni-stuttgart.de%2Fprojects%2Fsat-rs%2F)
sat-rs
=========