[package]
name = "smtlib-syntax"
version = "0.1.0"
edition = "2021"
authors =  [ "Jan Winkelmann (keks)" ]
readme = "README.md"
description = "Types mirroring most of the syntactic elements from the SMT-LIB 2.6 spec. Meant for code generation, not parsing."
repository = "https://github.com/keks/smtlib-rs"
keywords = [ "smtlib", "smt" ]
license = "GPL-3.0-or-later"

# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html

[dependencies]