crates.io : smtlib-syntax
Types mirroring most of the syntactic elements from the SMT-LIB 2.6 spec. Meant for code generation, not parsing.
Registry
-
Source
- Documentation
- JSON
purl: pkg:cargo/smtlib-syntax
Keywords:
smtlib
, smt
License: GPL-3.0-or-later
Latest release: over 1 year ago
First release: over 1 year ago
Downloads: 1,308 total
Stars: 0 on GitHub
Forks: 0 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 15 days ago
Loading...
Readme
Loading...