[package]
name = "differential-formula"
version = "0.1.1"
authors = ["Qishen Zhang <qishen23@gmail.com>"]
edition = "2018"
description = "Incremental Formal Modeling Using Logic Programming and Analysis"
license = "MIT"

exclude = [
    "tests/samples/CommandLine.exe",
    "tests/samples/CommandLine.exe.config",
    "tests/samples/Core.dll"
]

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

[dependencies]
abomonation = "0.7.3"
abomonation_derive = "0.5.0"
# Enable `bincode` feature to use serde instead of Abomonation for serialization.
timely = { version = "0.11", features = ["bincode"] } 
timely_sort = "0.1.6"
differential-dataflow = "0.11"
rand = "0.4"
enum_dispatch = "0.2.0"
nom = "5"
num = { version = "0.2", features = ["serde"] }
im = { version = "14", features = ["serde"] }
serde = { version = "1", features = ["derive", "rc", "std"] }
readonly = "0.1"
petgraph = "0.5"