1 2 3 4 5 6
# SCAN Core Core library crate for the SCAN model checker. See [SCAN homepage](https://convince-project.github.io/scan/) for more information.