Published April 21, 2026
| Version v7
Other
Open
Artifact of Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks
Authors/Creators
-
1.
National University of Singapore
-
2.
Inria Saclay - Île de France
-
3.
Masaryk University
-
4.
Georgia Institute of Technology
Description
The upload contains the artifact (benchmarks, binaries, baselines and logfiles) of the Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks
Files
README.md
Files
(656.1 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:d6f65a0821ec3cc234fa2df74982194b
|
10.8 MB | Download |
|
md5:641f132eff85715c663023e01815aa5a
|
9.3 kB | Preview Download |
|
md5:a08e4de3805444fd9ff7b1c88bb40ca3
|
5.3 MB | Preview Download |
|
md5:a7bdc987f3260f0690fdb659d22d10a8
|
141 Bytes | Download |
|
md5:e09c39ae5a37a307d4fe01cad5bbcb88
|
158 Bytes | Download |
|
md5:62ed86e9a0a0c5c0d71305c292f06961
|
28.1 MB | Preview Download |
|
md5:9c1fb118c98acef8ec17c83384f8f480
|
2.6 kB | Preview Download |
|
md5:4edfa4dd16560fe6b2e2b7ab5f3acbe4
|
174.8 MB | Preview Download |
|
md5:2cfa91d472e23baec9cd78784123fb36
|
2.7 kB | Download |
|
md5:dc3bf9c7de77948fcfcda76d4793c41e
|
13.5 kB | Download |
|
md5:ad332af03234649585179619d3dad3e3
|
11.9 kB | Download |
|
md5:bf5fe518bb9b008398f48c88746de315
|
221.2 MB | Preview Download |
|
md5:d1994b4e09f6eccec3e4f617d8f00cb4
|
216.0 MB | Preview Download |
Additional details
Software
- Repository URL
- https://github.com/meelgroup/bn-counting
- Programming language
- Python , C++