forked from rust-lang/chalk
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathCargo.toml
More file actions
30 lines (25 loc) · 849 Bytes
/
Copy pathCargo.toml
File metadata and controls
30 lines (25 loc) · 849 Bytes
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
[package]
name = "chalk-solve"
version = "0.14.0-dev.0"
description = "Combines the chalk-engine with chalk-ir"
license = "Apache-2.0/MIT"
authors = ["Rust Compiler Team", "Chalk developers"]
repository = "https://github.com/rust-lang/chalk"
readme = "README.md"
keywords = ["compiler", "traits", "prolog"]
edition = "2018"
[dependencies]
ena = "0.14.0"
itertools = "0.9.0"
petgraph = "0.5.0"
tracing = "0.1"
rustc-hash = { version = "1.0.0" }
chalk-derive = { version = "0.14.0-dev.0", path = "../chalk-derive" }
chalk-engine = { version = "0.14.0-dev.0", path = "../chalk-engine", optional = true }
chalk-ir = { version = "0.14.0-dev.0", path = "../chalk-ir" }
[dev-dependencies]
chalk-integration = { path = "../chalk-integration" }
[features]
default = ["slg-solver", "recursive-solver"]
slg-solver = ["chalk-engine"]
recursive-solver = []