minisat (math/minisat) Updated: 3 weeks, 5 days ago 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.1 License: MIT
GitHub
59 build(s) found
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 26.arm64 | 21813 | 2025-11-29 1:18:36 | 0:00:23 | 2416 | build successful |
| 11.arm64 | 127952 | 2025-11-28 9:18:50 | 0:00:15 | 48596 | build successful |
| 12.arm64 | 155932 | 2025-11-28 5:50:09 | 0:00:18 | 51803 | build successful |
| 13.arm64 | 93121 | 2025-11-28 5:24:39 | 0:00:24 | 37585 | build successful |
| 13 | 99247 | 2025-11-28 5:19:36 | 0:00:30 | 37799 | build successful |
| 14 | 71283 | 2025-11-28 3:51:37 | 0:00:27 | 26041 | build successful |
| 10.11 | 305128 | 2025-11-28 3:03:33 | 0:01:25 | 102764 | build successful |
| 10.14 | 246014 | 2025-11-28 2:57:18 | 0:01:12 | 84112 | build successful |
| 10.12 | 315482 | 2025-11-28 2:56:05 | 0:01:03 | 101501 | build successful |
| 10.6 | 215814 | 2025-11-28 2:55:48 | 0:00:45 | 75392 | build successful |
| 10.8 | 220946 | 2025-11-28 2:55:04 | 0:01:35 | 73087 | build successful |
| 10.9 | 321456 | 2025-11-28 2:54:35 | 0:00:48 | 102291 | build successful |
| 10.7 | 236187 | 2025-11-28 2:54:13 | 0:00:48 | 75057 | build successful |
| 11 | 195100 | 2025-11-28 2:53:44 | 0:01:09 | 63195 | build successful |
| 10.10 | 313382 | 2025-11-28 2:50:39 | 0:00:44 | 102616 | build successful |
| 10.6.x86_64 | 252929 | 2025-11-28 2:49:45 | 0:00:36 | 75458 | build successful |
| 10.15 | 222769 | 2025-11-28 2:49:25 | 0:01:02 | 73225 | build successful |
| 10.13 | 272342 | 2025-11-28 2:48:44 | 0:00:49 | 93481 | build successful |
| 12 | 144841 | 2025-11-28 2:47:42 | 0:00:57 | 52070 | build successful |
| 15.arm64 | 31889 | 2025-11-28 2:46:00 | 0:00:17 | 12708 | build successful |
| 15 | 43735 | 2025-11-28 2:45:08 | 0:00:29 | 13516 | build successful |
| 14.arm64 | 66583 | 2025-11-28 2:44:08 | 0:00:15 | 25675 | build successful |
| 26.arm64 | 6699 | 2025-09-23 11:51:05 | 0:00:06 | 334 | failed install-port |
| 10.6.x86_64 | 243588 | 2025-08-17 23:25:06 | 0:00:12 | 72707 | failed install-port |
| 10.6.x86_64 | 243588 | 2025-08-17 23:25:06 | 0:00:12 | 72707 | failed install-port |
| 10.6 | 206875 | 2025-08-17 22:50:01 | 0:00:16 | 72645 | failed install-port |
| 10.6 | 196725 | 2025-03-16 6:32:56 | 0:00:14 | 68923 | failed install-port |
| 10.6.x86_64 | 232518 | 2025-03-16 6:30:29 | 0:00:26 | 68973 | failed install-port |
| 15.arm64 | 16151 | 2025-03-16 1:08:53 | 0:00:14 | 6122 | build successful |
| 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 |