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

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

Last synced: about 1 month 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 (almost 3 years ago)
• Default Branch: main
• Last Pushed: 2024-05-13T16:03:39.000Z (about 1 month ago)
• Last Synced: 2024-05-13T17:31:31.259Z (about 1 month 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

Lists

• 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)
• awesome-stars - awslabs/rust-smt-ir - (SMT)

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.