lemma-engine 0.6.7

[dependencies.boolean_expression]
version = "0.4"

[dependencies.chrono]
features = ["serde"]
version = "0.4"

[dependencies.pest]
version = "2.7"

[dependencies.pest_derive]
version = "2.7"

[dependencies.regex]
version = "1.0"

[dependencies.rust_decimal]
features = ["serde"]
version = "1.33"

[dependencies.serde]
features = ["derive"]
version = "1.0"

[dependencies.serde_json]
version = "1.0"

[dev-dependencies.proptest]
version = "1.4"

[lib]
crate-type = ["cdylib", "rlib"]
name = "lemma"
path = "src/lib.rs"

[package]
authors = ["benrogmans <ben@amrai.nl>"]
autobenches = false
autobins = false
autoexamples = false
autolib = false
autotests = false
build = false
categories = ["parser-implementations", "development-tools"]
description = "A language that means business."
documentation = "https://docs.rs/lemma-engine"
edition = "2021"
homepage = "https://github.com/benrogmans/lemma"
keywords = ["logic", "rules", "declarative", "dsl", "rust"]
license = "Apache-2.0"
name = "lemma-engine"
readme = "README.md"
repository = "https://github.com/benrogmans/lemma"
resolver = "3"
version = "0.6.7"

[target.'cfg(target_arch = "wasm32")'.dependencies.console_error_panic_hook]
version = "0.1"

[target.'cfg(target_arch = "wasm32")'.dependencies.wasm-bindgen]
version = "0.2.104"

[[test]]
name = "algebraic_edge_cases"
path = "tests/algebraic_edge_cases.rs"

[[test]]
name = "bdd_consensus"
path = "tests/bdd_consensus.rs"

[[test]]
name = "bdd_partial_simplification"
path = "tests/bdd_partial_simplification.rs"

[[test]]
name = "bdd_simplification"
path = "tests/bdd_simplification.rs"

[[test]]
name = "cross_document_references"
path = "tests/cross_document_references.rs"

[[test]]
name = "currency_validation"
path = "tests/currency_validation.rs"

[[test]]
name = "datetime_edge_cases"
path = "tests/datetime_edge_cases.rs"

[[test]]
name = "documentation_examples"
path = "tests/documentation_examples.rs"

[[test]]
name = "empty_input"
path = "tests/empty_input.rs"

[[test]]
name = "end_to_end"
path = "tests/end_to_end.rs"

[[test]]
name = "equal_operator"
path = "tests/equal_operator.rs"

[[test]]
name = "error_messages"
path = "tests/error_messages.rs"

[[test]]
name = "fact_override_type_validation"
path = "tests/fact_override_type_validation.rs"

[[test]]
name = "get_valid_domain"
path = "tests/get_valid_domain.rs"

[[test]]
name = "get_valid_domain_multiple"
path = "tests/get_valid_domain_multiple.rs"

[[test]]
name = "integration_comprehensive"
path = "tests/integration_comprehensive.rs"

[[test]]
name = "inversion"
path = "tests/inversion.rs"

[[test]]
name = "inversion_comparison_operators"
path = "tests/inversion_comparison_operators.rs"

[[test]]
name = "inversion_display_serialize"
path = "tests/inversion_display_serialize.rs"

[[test]]
name = "inversion_enhancements"
path = "tests/inversion_enhancements.rs"

[[test]]
name = "inversion_error_messages"
path = "tests/inversion_error_messages.rs"

[[test]]
name = "inversion_guards"
path = "tests/inversion_guards.rs"

[[test]]
name = "inversion_math_ops"
path = "tests/inversion_math_ops.rs"

[[test]]
name = "inversion_missing_cases"
path = "tests/inversion_missing_cases.rs"

[[test]]
name = "inversion_real_world"
path = "tests/inversion_real_world.rs"

[[test]]
name = "inversion_recursive_expansion"
path = "tests/inversion_recursive_expansion.rs"

[[test]]
name = "inversion_rule_reference_demo"
path = "tests/inversion_rule_reference_demo.rs"

[[test]]
name = "inversion_smoke"
path = "tests/inversion_smoke.rs"

[[test]]
name = "json_serializer"
path = "tests/json_serializer.rs"

[[test]]
name = "math_ops"
path = "tests/math_ops.rs"

[[test]]
name = "modulo_power"
path = "tests/modulo_power.rs"

[[test]]
name = "multi_unknown_constraints"
path = "tests/multi_unknown_constraints.rs"

[[test]]
name = "property_based"
path = "tests/property_based.rs"

[[test]]
name = "relation_graph"
path = "tests/relation_graph.rs"

[[test]]
name = "resource_limits_test"
path = "tests/resource_limits_test.rs"

[[test]]
name = "rule_type_consistency"
path = "tests/rule_type_consistency.rs"

[[test]]
name = "rule_type_validation"
path = "tests/rule_type_validation.rs"

[[test]]
name = "semantic_validation"
path = "tests/semantic_validation.rs"

[[test]]
name = "semantic_validator"
path = "tests/semantic_validator.rs"

[[test]]
name = "test_discount_inversion"
path = "tests/test_discount_inversion.rs"

[[test]]
name = "timezone"
path = "tests/timezone.rs"

[[test]]
name = "type_aware_arithmetic"
path = "tests/type_aware_arithmetic.rs"

[[test]]
name = "typed_values"
path = "tests/typed_values.rs"

[[test]]
name = "unit_comparison"
path = "tests/unit_comparison.rs"

[[test]]
name = "unit_conversion"
path = "tests/unit_conversion.rs"

[[test]]
name = "unit_percentage_operations"
path = "tests/unit_percentage_operations.rs"

[[test]]
name = "validator_type_checking"
path = "tests/validator_type_checking.rs"

[[test]]
name = "veto"
path = "tests/veto.rs"

[[test]]
name = "veto_inversion"
path = "tests/veto_inversion.rs"

[[test]]
name = "wasm_build"
path = "tests/wasm_build.rs"