[package]
name = "logic-rs"
version = "0.1.1"
edition = "2021"
authors = ["Quinn Thibeault <quinn.thibeault96@gmail.com>"]
description = "Library for representing logical formulas with support for temporal robustness semantics"
license = "BSD-3-Clause"
categories = ["mathematics", "logic"]
repository = "https://gitlab.com/qthibeault/logic-rs"
readme = "README.md"

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

[lib]
doctest = false
name = "logic"

[dependencies]
ordered-float = "~2.8.0"

[dev-dependencies]
csv = "~1.1.6"
approx = "~0.5.1"