-
Notifications
You must be signed in to change notification settings - Fork 1
/
Cargo.toml
48 lines (40 loc) · 1.25 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
45
46
47
48
[package]
name = "boolean-network-sketches"
version = "0.2.0"
authors = ["Ondřej Huvar <xhuvar@fi.muni.cz>", "Samuel Pastva <sam.pastva@gmail.com>"]
edition = "2021"
description = "Framework for Boolean network inference using BN sketches."
homepage = "https://github.com/sybila/boolean-network-sketches"
repository = "https://github.com/sybila/boolean-network-sketches"
readme = "README.md"
keywords = ["inference", "boolean-network", "model-checking", "symbolic", "systems-biology"]
categories = ["science", "simulation"]
license = "MIT"
exclude = ["benchmark_models", ".github", ".githooks"]
rust-version = "1.72"
#[profile.release]
#lto = true
[profile.test]
opt-level = 3
[[bin]]
name = "sketches-inference"
path = "src/main.rs"
[[bin]]
name = "inference-with-attractors"
path = "src/bin/bn_inference_with_attractors.rs"
[[bin]]
name = "case-study-tlgl"
path = "src/bin/case_study_tlgl.rs"
[[bin]]
name = "case-study-arabidopsis"
path = "src/bin/case_study_arabidopsis.rs"
[[bin]]
name = "small-example"
path = "src/bin/small_example.rs"
[dependencies]
biodivine-lib-bdd = ">=0.5.2, <1.0.0"
biodivine-lib-param-bn = ">=0.4.7, <1.0.0"
biodivine-hctl-model-checker = ">=0.2.0, <1.0.0"
clap = { version = "4.1.4", features = ["derive"] }
termcolor = "1.1.2"
rand = "0.8.5"