egglog 0.3.0

egglog is a language that combines the benefits of equality saturation and datalog. It can be used for analysis, optimization, and synthesis of programs. It is the successor to the popular rust library egg.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109

[build-dependencies.chrono]
default-features = false
features = ["now"]
version = "0.4"

[build-dependencies.lalrpop]
version = "0.20"

[dependencies.clap]
features = ["derive"]
optional = true
version = "4"

[dependencies.egraph-serialize]
features = ["serde", "graphviz"]
version = "0.2.0"

[dependencies.env_logger]
optional = true
version = "0.10"

[dependencies.generic_symbolic_expressions]
version = "5.0.4"

[dependencies.getrandom]
features = ["js"]
optional = true
version = "0.2.10"

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

[dependencies.im-rc]
version = "15.1.0"

[dependencies.indexmap]
version = "2.0"

[dependencies.instant]
version = "0.1"

[dependencies.lalrpop-util]
features = ["lexer"]
version = "0.20"

[dependencies.lazy_static]
version = "1.4"

[dependencies.log]
version = "0.4"

[dependencies.num-integer]
version = "0.1.45"

[dependencies.num-rational]
version = "0.4.1"

[dependencies.num-traits]
version = "0.2.15"

[dependencies.ordered-float]
version = "3.7"

[dependencies.regex]
version = "1.10"

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

[dependencies.serde_json]
features = ["preserve_order"]
optional = true
version = "1.0.100"

[dependencies.smallvec]
version = "1.11"

[dependencies.symbol_table]
features = ["global"]
version = "0.3.0"

[dependencies.thiserror]
version = "1"

[dev-dependencies.glob]
version = "0.3.1"

[dev-dependencies.libtest-mimic]
version = "0.6.1"

[features]
bin = ["dep:clap", "dep:env_logger", "egraph-serialize/serde", "dep:serde_json"]
default = ["bin"]
wasm-bindgen = ["instant/wasm-bindgen", "dep:getrandom"]

[package]
description = "egglog is a language that combines the benefits of equality saturation and datalog. It can be used for analysis, optimization, and synthesis of programs. It is the successor to the popular rust library egg."
edition = "2021"
keywords = ["e-graphs", "egglog", "datalog", "compiler", "equality"]
license = "MIT"
name = "egglog"
readme = "README.md"
repository = "https://github.com/egraphs-good/egglog"
version = "0.3.0"

[[test]]
harness = false
name = "files"