smt2 0.2.0

A SMT-LIB 2.6 parsing/formatting library for Rust
Documentation
  • Coverage
  • 24.59%
    104 out of 423 items documented3 out of 185 items with examples
  • Size
  • Source code size: 183.25 kB This is the summed size of all the files inside the crates.io package for this release.
  • Documentation size: 16.61 MB This is the summed size of all files generated by rustdoc for all configured targets
  • Ø build duration
  • this release: 15s Average build duration of successful builds.
  • all releases: 15s Average build duration of successful builds in releases after 2024-10-23.
  • Links
  • regular-pv/smt2
    9 2 1
  • crates.io
  • Dependencies
  • Versions
  • Owners
  • timothee-haudebourg

SMT-LIB 2.6

A SMT-LIB 2.6 parsing/formatting library for Rust. The goal is to comply with the official specification of the language.

It can be used to create your own SMT-LIB compliant solver, or to interact with existing solvers.

There is still some work to do to cover the whole language. The crate is no longer actively developed, but new features can be added on demand. If some part of the language you need is not handled, please open an issue. New contributions are welcome.

License

Licensed under either of

at your option.

Contribution

Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.