formally-smt
| Crates.io | formally-smt |
| lib.rs | formally-smt |
| version | 0.2025.121 |
| created_at | 2025-12-19 13:32:32.663391+00 |
| updated_at | 2025-12-20 18:07:23.8406+00 |
| description | the open-source formal methods toolchain - SMT abstraction layer |
| homepage | https://formally.fm |
| repository | https://github.com/formally-fm/formally |
| max_upload_size | |
| id | 1994779 |
| size | 325,715 |
Nicola Gigante (nicola-gigante)
documentation
README
::formally
The open-source formal methods toolchain
::formally is an early-stage work-in-progress project to provide an extensive and extensible toolchain for building
formal methods tools and applications.
This package contains the formally::smt subcrate. This is not meant to be used directly. Instead, use the main
formally crate and enable its "smt" feature.
formally = { version = "0.2025.12", features = ["smt"] }
We refer to the documentation of the main formally package for details.