minisat (math/minisat) Add to my watchlist
Minimalistic SAT solverMiniSat is a minimalistic, open-source SAT solver, developed to help researchers and developers alike to get started on SAT.
Version: 2.2.0 License: MIT
GitHub
30 build(s) found
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 15 | 7283 | 2024-10-08 2:58:23 | 0:00:15 | 731 | build successful |
| 10.6 | 175611 | 2024-07-30 16:49:10 | 0:00:23 | 61441 | failed install-port |
| 10.6.x86_64 | 211385 | 2024-07-30 16:40:23 | 0:00:19 | 61485 | failed install-port |
| 14.arm64 | 10626 | 2024-01-22 12:16:17 | 0:00:12 | 4403 | build successful |
| 14 | 20564 | 2023-12-24 3:16:57 | 0:10:41 | 3441 | build successful |
| 10.6 | 131678 | 2023-08-17 22:32:50 | 0:00:20 | 48061 | failed install-port |
| 10.6.x86_64 | 167151 | 2023-08-17 22:06:11 | 0:00:21 | 48100 | failed install-port |
| 13.arm64 | 8832 | 2023-03-06 16:11:56 | 0:00:14 | 4011 | build successful |
| 10.6 | 102546 | 2023-01-01 23:52:21 | 0:00:20 | 39168 | failed install-port |
| 10.6.x86_64 | 137274 | 2023-01-01 23:45:03 | 0:00:16 | 39198 | failed install-port |
| 13 | 6524 | 2022-12-25 9:50:48 | 0:00:16 | 976 | build successful |
| 10.6 | 71348 | 2022-05-23 23:20:49 | 0:00:20 | 31142 | failed install-port |
| 10.6.x86_64 | 105467 | 2022-05-23 23:11:02 | 0:00:19 | 31111 | failed install-port |
| 10.6 | 54130 | 2022-01-16 8:03:01 | 0:02:09 | 26853 | failed install-port |
| 10.6.x86_64 | 88494 | 2022-01-16 5:11:29 | 0:02:46 | 26814 | failed install-port |
| 12 | 12992 | 2022-01-12 12:43:07 | 0:04:11 | 3335 | build successful |
| 12.arm64 | 26264 | 2021-11-23 16:43:32 | 0:00:08 | 1488 | build successful |
| 10.6 | 33815 | 2021-06-14 11:20:46 | 0:06:26 | 19101 | failed install-port |
| 10.6.x86_64 | 59817 | 2021-06-14 4:01:02 | 0:05:19 | 19068 | failed install-port |
| 11 | 11638 | 2021-01-02 19:48:39 | 0:00:48 | 1558 | build successful |
| 10.6 | 22991 | 2021-01-02 15:34:29 | 0:05:07 | 13571 | failed install-port |
| 10.6.x86_64 | 43305 | 2021-01-02 15:29:55 | 0:03:58 | 13580 | failed install-port |
| 11.arm64 | 7056 | 2021-01-02 15:09:13 | 0:00:11 | 1655 | build successful |
| 10.6 | 8666 | 2020-01-27 11:15:36 | 0:07:28 | 3765 | failed install-port |
| 10.6.x86_64 | 16892 | 2020-01-27 11:15:01 | 0:05:55 | 3750 | failed install-port |
| 10.15 | 17729 | 2019-12-29 22:12:23 | 0:00:51 | 1791 | build successful |
| 10.6 | 4595 | 2019-11-26 2:04:24 | 0:05:08 | 1899 | failed install-port |
| 10.6.x86_64 | 8991 | 2019-11-18 18:29:08 | 0:05:16 | 1899 | failed install-port |
| 10.8 | 8019 | 2019-11-16 17:55:47 | 0:00:23 | 1896 | build successful |
| 10.7 | 9120 | 2019-11-15 17:48:09 | 0:00:21 | 1896 | build successful |