libcudd (devel/libcudd) Updated: 10 months, 1 week ago Add to my watchlist
An efficient library for manipulating decision diagramsThe CUDD package provides functions to manipulate Binary Decision Diagrams (BDDs), Algebraic Decision Diagrams (ADDs), and Zero-suppressed Binary Decision Diagrams (ZDDs). It's been written by Fabio Somenzi at the University of Colorado, Boulder.
Version: 3.0.0 License: BSD
GitHub
34 build(s) found
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 15 | 9051 | 2024-10-10 2:12:29 | 0:01:06 | 838 | build successful |
| 10.8 | 184891 | 2024-07-18 0:00:01 | 0:04:13 | 58834 | failed install-port |
| 10.7 | 198386 | 2024-07-17 23:28:41 | 0:00:30 | 60781 | failed install-port |
| 14 | 33306 | 2024-03-23 17:31:46 | 0:00:53 | 7300 | build successful |
| 10.7 | 181925 | 2024-03-23 16:35:11 | 0:00:31 | 56223 | failed install-port |
| 12.arm64 | 121403 | 2024-03-23 4:06:35 | 0:00:17 | 33227 | build successful |
| 12 | 101076 | 2024-03-23 3:02:17 | 0:01:34 | 33243 | build successful |
| 10.14 | 200109 | 2024-03-23 1:05:09 | 0:01:12 | 65510 | build successful |
| 13.arm64 | 53656 | 2024-03-23 0:00:39 | 0:00:18 | 18858 | build successful |
| 13 | 64721 | 2024-03-22 23:54:41 | 0:01:01 | 19119 | build successful |
| 10.11 | 256055 | 2024-03-22 23:07:47 | 0:01:02 | 83916 | build successful |
| 11 | 147341 | 2024-03-22 23:04:51 | 0:01:29 | 44429 | build successful |
| 10.13 | 225395 | 2024-03-22 22:59:27 | 0:01:07 | 74759 | build successful |
| 10.15 | 176429 | 2024-03-22 22:54:41 | 0:01:18 | 54502 | build successful |
| 10.8 | 169243 | 2024-03-22 22:19:51 | 0:00:56 | 54284 | failed install-port |
| 10.12 | 265452 | 2024-03-22 22:06:08 | 0:01:15 | 82701 | build successful |
| 10.10 | 261057 | 2024-03-22 22:00:02 | 0:01:11 | 83807 | build successful |
| 10.9 | 268226 | 2024-03-22 21:44:07 | 0:01:14 | 83492 | build successful |
| 10.6 | 158279 | 2024-03-22 21:29:58 | 0:01:37 | 56446 | build successful |
| 10.6.x86_64 | 193996 | 2024-03-22 21:24:10 | 0:02:20 | 56494 | build successful |
| 14.arm64 | 21339 | 2024-03-22 21:12:47 | 0:00:24 | 6972 | build successful |
| 14.arm64 | 9474 | 2024-01-20 23:10:12 | 0:00:14 | 4289 | build successful |
| 14 | 12795 | 2023-11-23 13:57:33 | 0:00:50 | 2032 | build successful |
| 13.arm64 | 11036 | 2023-03-08 19:29:12 | 0:00:18 | 4172 | build successful |
| 13 | 13620 | 2023-01-11 0:07:27 | 0:00:26 | 1866 | build successful |
| 12 | 11862 | 2022-01-09 11:17:47 | 0:00:44 | 3173 | build successful |
| 12.arm64 | 24898 | 2021-11-22 17:17:17 | 0:00:11 | 1470 | build successful |
| 11 | 8331 | 2020-12-19 13:28:30 | 0:00:56 | 1000 | build successful |
| 11.arm64 | 3791 | 2020-11-29 20:41:19 | 0:00:20 | 570 | build successful |
| 10.6 | 4049 | 2019-11-21 18:56:30 | 0:05:55 | 1826 | build successful |
| 10.6.x86_64 | 8254 | 2019-11-15 9:07:46 | 0:05:03 | 1825 | build successful |
| 10.8 | 7439 | 2019-11-14 4:04:27 | 0:01:14 | 1823 | build successful |
| 10.7 | 8498 | 2019-11-13 2:36:01 | 0:00:57 | 1823 | build successful |
| 10.15 | 3492 | 2019-11-12 16:25:50 | 0:00:32 | 342 | build successful |