https://github.com/awslabs/rust-smt-ir

https://github.com/awslabs/rust-smt-ir

Last synced: 3 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/awslabs/rust-smt-ir
• Owner: awslabs
• License: apache-2.0
• Created: 2021-08-19T02:24:50.000Z (about 3 years ago)
• Default Branch: main
• Last Pushed: 2024-05-13T16:03:39.000Z (6 months ago)
• Last Synced: 2024-05-22T21:33:01.859Z (6 months ago)
• Language: SMT
• Size: 12.6 MB
• Stars: 31
• Watchers: 12
• Forks: 7
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • Contributing: CONTRIBUTING.md
  • License: LICENSE
  • Code of conduct: CODE_OF_CONDUCT.md

Awesome Lists containing this project

• awesome-rust-formalized-reasoning - rust-smt-ir - smt-ir)[:package:](https://crates.io/crates/aws-smt-ir-derive):star: - intermediate representation (IR) in Rust for SMT-LIB queries. (Projects / Libraries)

README

        
## rust-smt-ir

This project provides an intermediate representation (IR) in Rust for

[SMT-LIB](https://smt-lib.org/about.shtml) queries along with

tools for performing computations over queries and transforming

queries in various ways.

N.B.: we have recently split this repository so only the IR and transformer 

code is in this repo. Example code has been moved to the 

[rust-smt-ir-examples](https://github.com/awslabs/rust-smt-ir-examples)

repository.

## Security

See [CONTRIBUTING](CONTRIBUTING.md#security-issue-notifications) for more information.

## License

This project is licensed under the Apache-2.0 License.