rsmt2 0.5.0

Wrapper for SMT Lib 2 compliant SMT solvers.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

[package]
name = "rsmt2"
version = "0.5.0"
authors = ["Adrien Champion <adrien.champion@email.com>"]
description = "Wrapper for SMT Lib 2 compliant SMT solvers."
documentation = "https://docs.rs/rsmt2"
homepage = "https://github.com/kino-mc/rsmt2"
repository = "https://github.com/kino-mc/rsmt2"
readme = "README.md"
categories = ["science"]
keywords = ["SMT", "SAT", "satisfiability", "solver", "SMT-LIB"]
license = "MIT/Apache-2.0"

[badges]
travis-ci = { repository = "kino-mc/rsmt2" }

[dependencies]
error-chain = "^0"
nom = "^3"