pumpkin-solver 0.2.2

The Pumpkin combinatorial optimisation solver library.
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

[package]
name = "pumpkin-solver"
version = "0.2.2"
description = "The Pumpkin combinatorial optimisation solver library."
readme = "../README.md"
authors.workspace = true
license.workspace = true
edition.workspace = true
repository.workspace = true

[dependencies]
clap = { version = "4.5.17", features = ["derive"] }
env_logger = "0.10.0"
flatzinc = "0.3.21"
log = "0.4.27"
pumpkin-core = { version = "0.2.2", path = "../pumpkin-crates/core/", features = ["clap"] }
signal-hook = "0.3.18"
thiserror = "2.0.12"

[lints]
workspace = true

[features]
default = ["gzipped-proofs"]
debug-checks = ["pumpkin-core/debug-checks"]
gzipped-proofs = ["pumpkin-core/gzipped-proofs"]

[build-dependencies]
cc = "1.1.30"