reachability_solver 0.1.2

[dependencies.linear_solver]
version = "0.2.2"

[package]
authors = ["Sven Nilsen <bvssvni@gmail.com>"]
categories = ["algorithms", "science"]
description = "A linear reachability solver for directional edges"
documentation = "https://docs.rs/reachability_solver"
edition = "2018"
homepage = "https://github.com/advancedresearch/reachability_solver"
keywords = ["reachability", "solver", "theorem", "proving", "reasoning"]
license = "MIT"
name = "reachability_solver"
readme = "README.md"
repository = "https://github.com/advancedresearch/reachability_solver.git"
version = "0.1.2"