16 lines
410 B
TOML
16 lines
410 B
TOML
[package]
|
|
name = "numberlink-solver"
|
|
version = "0.1.0"
|
|
edition = "2021"
|
|
|
|
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
|
|
|
|
[dependencies]
|
|
clap = { version = "4.5.20", features = ["derive"] }
|
|
crossbeam = "0.8.4"
|
|
human-units = "0.2.0"
|
|
itertools = "0.13.0"
|
|
# z3 = { git = "https://github.com/shelvacu/z3.rs", branch = "fix-ur-shit" }
|
|
z3 = { path = "../z3.rs/z3" }
|
|
|