[package]
name = "l_group_validity"
version = "0.1.0"
authors = ["Levi Ryffel <levi.ryffel@gmail.com>"]
edition = "2018"
repository = "https://github.com/raw-bacon/raw-validity"
license = "MIT OR Apache-2.0"
description = "checking validity of l-group (in)equations"

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

[dependencies]
l_group_formulas = "0.1.0"
l_group_cnf = "0.1.0"
truncated_free_groups = "0.1.0"