smtlib-syntax 0.1.0

Types mirroring most of the syntactic elements from the SMT-LIB 2.6 spec. Meant for code generation, not parsing.
Documentation
  • Coverage
  • 1.47%
    2 out of 136 items documented2 out of 43 items with examples
  • Size
  • Source code size: 29.14 kB This is the summed size of all the files inside the crates.io package for this release.
  • Documentation size: 8.5 MB This is the summed size of all files generated by rustdoc for all configured targets
  • Links
  • keks/smtlib-rs
    0 0 0
  • crates.io
  • Dependencies
    • —
  • Versions
  • Owners
  • keks

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.