differential-formula 0.1.1

[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"