smtlib-syntax
| Crates.io | smtlib-syntax |
| lib.rs | smtlib-syntax |
| version | 0.1.0 |
| source | src |
| created_at | 2024-02-27 18:32:39.161134 |
| updated_at | 2024-02-27 18:32:39.161134 |
| description | Types mirroring most of the syntactic elements from the SMT-LIB 2.6 spec. Meant for code generation, not parsing. |
| homepage | |
| repository | https://github.com/keks/smtlib-rs |
| max_upload_size | |
| id | 1155330 |
| size | 29,468 |
Jan Winkelmann (keks)
documentation
README
smtlib-syntax
This crate defines types that mirror the syntactic elements defined in the SMT-LIB 2.6 spec, in order to make code generation easier.