mirror of
https://github.com/powdr-labs/powdr.git
synced 2026-01-08 21:58:00 -05:00
5d0d97a269
Adds a solver that introduces new variables for every non-linear component in an algebraic constraint and also for every bus interaction field that is not a constant or a variable already. --------- Co-authored-by: Georg Wiese <georgwiese@gmail.com>
34 lines
723 B
TOML
34 lines
723 B
TOML
[package]
|
|
name = "powdr-constraint-solver"
|
|
description = "powdr tools to analyze and solve algebraic constraints"
|
|
version = { workspace = true }
|
|
edition = { workspace = true }
|
|
license = { workspace = true }
|
|
homepage = { workspace = true }
|
|
repository = { workspace = true }
|
|
|
|
[dependencies]
|
|
powdr-number.workspace = true
|
|
|
|
itertools = "0.13"
|
|
num-traits = "0.2.15"
|
|
derive_more = "0.99.17"
|
|
auto_enums = "0.8.5"
|
|
log = "0.4.27"
|
|
bitvec = "1.0.1"
|
|
|
|
[dev-dependencies]
|
|
pretty_assertions = "1.4.0"
|
|
env_logger = "0.10.0"
|
|
test-log = "0.2.12"
|
|
expect-test = "1.5.1"
|
|
|
|
[package.metadata.cargo-udeps.ignore]
|
|
development = ["env_logger"]
|
|
|
|
[lints]
|
|
workspace = true
|
|
|
|
[lib]
|
|
bench = false # See https://github.com/bheisler/criterion.rs/issues/458
|