https://github.com/regular-pv/smt2

SMT-LIB 2 parsing library for Rust
https://github.com/regular-pv/smt2

Last synced: about 1 month ago
JSON representation

SMT-LIB 2 parsing library for Rust

• Host: GitHub
• URL: https://github.com/regular-pv/smt2
• Owner: regular-pv
• License: apache-2.0
• Created: 2019-08-26T12:33:13.000Z (almost 5 years ago)
• Default Branch: master
• Last Pushed: 2021-03-30T11:27:26.000Z (over 3 years ago)
• Last Synced: 2024-05-11T15:03:23.369Z (about 2 months ago)
• Language: Rust
• Size: 139 KB
• Stars: 8
• Watchers: 2
• Forks: 3
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE-APACHE

Lists

• awesome-rust-formalized-reasoning - smt2 - SMT-LIB 2 parsing library. (Projects / Libraries)

README

        
# SMT-LIB 2.6

  Documentation

  Crate informations

  Repository

A SMT-LIB 2.6 parsing/formatting library for Rust.

The goal is to comply with the

[official specification](http://smtlib.cs.uiowa.edu/papers/smt-lib-reference-v2.6-r2017-07-18.pdf)

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

 * Apache License, Version 2.0 ([LICENSE-APACHE](LICENSE-APACHE) or http://www.apache.org/licenses/LICENSE-2.0)

 * MIT license ([LICENSE-MIT](LICENSE-MIT) or http://opensource.org/licenses/MIT)

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.