sat-rs book
=========

High-level documentation of the [sat-rs project](https://absatsw.irs.uni-stuttgart.de/projects/sat-rs/).

## Building

If you have not done so, install `mdbook` using `cargo install mdbook --locked`.

```sh
mdbook build
```