LEMMA/Cargo.toml at main · Pushp-Kharat1/LEMMA · GitHub

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
[workspace]
resolver = "2"
members = [
    "crates/mm-core",
    "crates/mm-rules",
    "crates/mm-verifier",
    "crates/mm-search",
    "crates/mm-brain",
    "crates/mm-solver",
    "crates/mm-macro",
    "crates/mm-synth",
    "crates/mm-boink",
]

[workspace.package]
version = "0.1.0"
edition = "2021"
authors = ["Pushpak Sharma"]
license = "MPL-2.0"
repository = "https://github.com/Pushp-Kharat1/LEMMA"
description = "Logical Engine for Multi-domain Mathematical Analysis"

[workspace.dependencies]
# Core
num-rational = "0.4"
num-traits = "0.2"
string-interner = "0.15"
thiserror = "1.0"
serde = { version = "1.0", features = ["derive"] }
serde_json = "1.0"

# Random & Search
rand = "0.8"
rand_chacha = "0.3"

# Neural (Phase 4)
candle-core = "0.8"
candle-nn = "0.8"

# CLI & Utilities
clap = { version = "4.0", features = ["derive"] }

# Testing
criterion = "0.5"
proptest = "1.0"

# Internal workspace crates
mm-core = { path = "crates/mm-core" }
mm-rules = { path = "crates/mm-rules" }
mm-verifier = { path = "crates/mm-verifier" }
mm-search = { path = "crates/mm-search" }
mm-brain = { path = "crates/mm-brain" }
mm-solver = { path = "crates/mm-solver" }
mm-boink = { path = "crates/mm-boink" }

# Root package for examples
[package]
name = "lemma"
version.workspace = true
edition.workspace = true

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

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

[dependencies]
mm-core = { path = "crates/mm-core" }
mm-rules = { path = "crates/mm-rules" }
mm-verifier = { path = "crates/mm-verifier" }
mm-search = { path = "crates/mm-search" }
mm-boink = { path = "crates/mm-boink" }