[package]
edition = "2018"
name = "linear_solver"
version = "0.2.2"
authors = ["Sven Nilsen <bvssvni@gmail.com>"]
description = "A linear solver designed to be easy to use with Rust enum expressions"
homepage = "https://github.com/advancedresearch/linear_solver"
documentation = "https://docs.rs/linear_solver"
readme = "README.md"
keywords = ["linear", "solver", "theorem", "proving", "reasoning"]
categories = ["algorithms", "science"]
license = "MIT"
repository = "https://github.com/advancedresearch/linear_solver.git"
[dependencies.cuckoofilter]
version = "0.3.2"