ascent 0.7.0

Logic programming in Rust
Documentation
[dependencies.ascent_base]
version = "0.7.0"

[dependencies.ascent_macro]
version = "0.7.0"

[dependencies.boxcar]
version = "0.1.0"

[dependencies.cfg-if]
version = "1.0"

[dependencies.dashmap]
features = ["raw-api", "rayon"]
optional = true
version = "5.5"

[dependencies.hashbrown]
features = ["raw"]
version = "0.14"

[dependencies.instant]
version = "0.1"

[dependencies.once_cell]
optional = true
version = "1.13.1"

[dependencies.paste]
version = "1.0"

[dependencies.rayon]
optional = true
version = "1.5"

[dependencies.rustc-hash]
version = "1.1"

[dev-dependencies]

[[example]]
name = "ascent_agg_clause"
path = "examples/ascent_agg_clause.rs"

[[example]]
name = "ascent_disjunction_clause"
path = "examples/ascent_disjunction_clause.rs"

[[example]]
name = "ascent_for_in_clause"
path = "examples/ascent_for_in_clause.rs"

[[example]]
name = "ascent_generic_program"
path = "examples/ascent_generic_program.rs"

[[example]]
name = "ascent_if_clause"
path = "examples/ascent_if_clause.rs"

[[example]]
name = "ascent_if_let_clause"
path = "examples/ascent_if_let_clause.rs"

[[example]]
name = "ascent_lattice"
path = "examples/ascent_lattice.rs"

[[example]]
name = "ascent_let_clause"
path = "examples/ascent_let_clause.rs"

[[example]]
name = "ascent_macros_rule"
path = "examples/ascent_macros_rule.rs"

[[example]]
name = "ascent_negation_clause"
path = "examples/ascent_negation_clause.rs"

[[example]]
name = "context_sensitive_flow_graph"
path = "examples/context_sensitive_flow_graph.rs"

[[example]]
name = "context_sensitive_flow_graph_with_records"
path = "examples/context_sensitive_flow_graph_with_records.rs"

[[example]]
name = "def_use_chains"
path = "examples/def_use_chains.rs"

[[example]]
name = "fibonacci"
path = "examples/fibonacci.rs"

[[example]]
name = "fizz_buzz"
path = "examples/fizz_buzz.rs"

[[example]]
name = "lists_using_recursive_enums"
path = "examples/lists_using_recursive_enums.rs"

[[example]]
name = "transitive_graph_closure"
path = "examples/transitive_graph_closure.rs"

[[example]]
name = "var_points_to"
path = "examples/var_points_to.rs"

[features]
default = ["par"]
par = ["dashmap", "hashbrown/rayon", "once_cell", "rayon"]
wasm-bindgen = ["instant/wasm-bindgen"]

[lib]
name = "ascent"
path = "src/lib.rs"

[package]
authors = ["Arash Sahebolamri"]
autobenches = false
autobins = false
autoexamples = false
autotests = false
build = false
categories = ["compilers"]
description = "Logic programming in Rust"
edition = "2021"
homepage = "https://s-arash.github.io/ascent/"
keywords = ["logic-programming", "program-analysis", "Datalog", "procedural-macro"]
license = "MIT"
name = "ascent"
readme = "README.MD"
repository = "https://github.com/s-arash/ascent"
rust-version = "1.66"
version = "0.7.0"