SCAN Core
Core library crate for the SCAN model checker.
See SCAN homepage for more information.
- Coverage
- 100%
231 out of 231 items documented5 out of 44 items with examples - Size
- Source code size: 273.12 kB This is the summed size of all the files inside the crates.io package for this release.
- Documentation size: 23.53 MB This is the summed size of all files generated by rustdoc for all configured targets
- Ø build duration
- this release: 1m 21s Average build duration of successful builds.
- all releases: 1m 21s Average build duration of successful builds in releases after 2024-10-23.
- Links
- Homepage
- Documentation
-
convince-project/scan
4 4 0 - crates.io
- Dependencies
- Versions
- Owners
-