mikino_api 0.3.0

A simple induction and BMC engine
[package]
name = "mikino_api"
version = "0.3.0"
authors = ["Adrien Champion <adrien.champion@ocamlpro.com>"]
edition = "2018"
license = "MIT OR Apache-2.0"
readme = "README.md"
description = "A simple induction and BMC engine"
homepage = "https://github.com/AdrienChampion/mikino"
repository = "https://github.com/AdrienChampion/mikino"
keywords = ["smt", "satisfiability", "verification", "induction"]
categories = ["science"]

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

[features]
force-color = []

[dependencies]
error-chain = "^0.12"
num = "^0.4"
rsmt2 = "^0.12"
either = "^1.6"