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