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 the pre-requisites first:

```sh
cargo install mdbook --locked
cargo install mdbook-linkcheck --locked
```

After that, you can build the book with:

```sh
mdbook build
```