[package]
name = "total-space"
version = "0.1.1"
authors = ["Oren Ben-Kiki <oren@ben-kiki.org>"]
edition = "2018"
license = "GPL-3.0"
description = "Explore the total space of states of communicating finite state machines."
repository = "https://github.com/orenbenkiki/total-space"
readme = "README.md"
keywords = [ "validation" ]
categories =[ "algorithms", "visualization" ]

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

[dependencies]
clap = "^2.33.0"
hashbrown = "^0.11.2"
lazy_static = "^1.4.0"
num_cpus = "^1.0.0"
num-traits = "^0.2.8"
string_cache = "^0.8.1"
strum_macros = "^0.20.0"
strum = { version = "^0.20.0", features = [ "derive" ] }

[dev-dependencies]
escargot = "^0.5.2"