libpetanque (math/libpetanque) Updated: 2 years, 1 month ago Add to my watchlist
Library that helps manipulate symbolic boolean expressionsManipulation, canonicalization and identification of mixed boolean-arithmetic symbolic expressions.
Version: 1.1.0 License: BSD
GitHub
20 build(s) found
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 15 | 12589 | 2024-10-13 12:24:17 | 0:00:38 | 1246 | build successful |
| 14.arm64 | 10250 | 2024-01-21 23:53:29 | 0:00:31 | 4372 | build successful |
| 14 | 10531 | 2023-11-12 14:08:48 | 0:03:16 | 1645 | build successful |
| 13.arm64 | 3333 | 2023-02-27 11:18:02 | 0:00:21 | 1073 | build successful |
| 13 | 8253 | 2022-12-29 5:11:43 | 0:01:46 | 1161 | build successful |
| 10.6 | 100463 | 2022-12-29 4:13:31 | 0:01:25 | 38964 | build successful |
| 10.6.x86_64 | 135415 | 2022-12-29 4:07:28 | 0:01:15 | 38994 | build successful |
| 11.arm64 | 79001 | 2022-12-29 3:42:47 | 0:00:22 | 26954 | build successful |
| 11 | 97354 | 2022-12-29 3:40:44 | 0:01:34 | 26980 | build successful |
| 12 | 53784 | 2022-12-29 3:37:34 | 0:01:31 | 15759 | build successful |
| 10.15 | 125033 | 2022-12-29 3:24:30 | 0:01:24 | 37069 | build successful |
| 10.11 | 205841 | 2022-12-29 3:12:17 | 0:01:16 | 66427 | build successful |
| 10.14 | 151165 | 2022-12-29 3:10:40 | 0:01:31 | 48076 | build successful |
| 10.12 | 213034 | 2022-12-29 3:08:52 | 0:01:08 | 65228 | build successful |
| 10.13 | 175581 | 2022-12-29 3:05:04 | 0:01:23 | 57308 | build successful |
| 10.9 | 213670 | 2022-12-29 3:02:34 | 0:03:06 | 66000 | build successful |
| 10.10 | 208190 | 2022-12-29 3:00:44 | 0:01:01 | 66307 | build successful |
| 10.7 | 126582 | 2022-12-29 2:51:36 | 0:03:18 | 38739 | build successful |
| 10.8 | 115951 | 2022-12-29 2:50:10 | 0:03:25 | 36781 | build successful |
| 12.arm64 | 79694 | 2022-12-29 2:46:59 | 0:00:22 | 15771 | build successful |