[package]
name = "smt2"
version = "0.2.0"
authors = ["Timothée Haudebourg <timothee.haudebourg@irisa.fr>"]
edition = "2018"
categories = ["science", "parsing"]
keywords = ["parsing", "smt", "smt2", "solver", "smt-lib"]
description = "A SMT-LIB 2.6 parsing/formatting library for Rust"
repository = "https://github.com/regular-pv/smt2"
documentation = "https://docs.rs/smt2"
license = "MIT/Apache-2.0"
readme = "README.md"

[dependencies]
utf8-decode = "^1.0"
source-span = "^2.2"