-
Notifications
You must be signed in to change notification settings - Fork 1
/
Cargo.toml
44 lines (39 loc) · 1.69 KB
/
Cargo.toml
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
[package]
name = "biodivine-aeon-py"
version = "1.1.0"
edition = "2021"
[lib]
name = "biodivine_aeon"
crate-type = ["cdylib", "rlib"]
[features]
# default = ['static-z3']
# For releases, we want to include Z3 statically, so that users
# don't have to install it (or break compatibility with new versions).
# So for CI builds, this feature is enabled, but for local builds,
# you don't need it as long as you have Z3 installed (because your
# build may take >30min if you enable it).
static-z3 = ["z3/static-link-z3"]
[dependencies]
pyo3 = { version = "0.22.2", features = ["abi3-py37", "extension-module", "num-bigint", "py-clone"] }
biodivine-lib-param-bn = { version="0.5.11", features=["solver-z3"] }
biodivine-lib-bdd = "0.5.21"
#biodivine-pbn-control = "0.3.1"
biodivine-pbn-control = { git = "https://github.com/sybila/biodivine-pbn-control", rev = "99f9da756c370daf5428b3d61ef76c24e7d8de5f" }
#biodivine-hctl-model-checker = "0.2.2"
# Currently, we only support HCTL up to version 0.2.2, but it contains some bugs, and so we need to use something
# more up to date. However, we do not implement or consider any of the update APIs, so once the updated model checker
# is actually released, make sure to run a proper API diff.
biodivine-hctl-model-checker = { git = "https://github.com/sybila/biodivine-hctl-model-checker.git", rev = "1e893faaf2573cb1b478d227c915a16e6c8de2db" }
rand = "0.8.5"
macros = { path = "macros" }
zip = "2.1.3"
num-bigint = "0.4.6"
num-traits = "0.2.19"
either = "1.13.0"
itertools = "0.13.0"
# Include Z3 dependencies as strictly as possible, we don't want
# this to change because it might break our release builds.
z3="^0.12.1"
z3-sys = "^0.8.1"
[build-dependencies]
pyo3-build-config = "0.22.1"