| Parent directory/ | - | - |
| minisat-2.2.1_0.darwin_27.arm64.tbz2.sig | 159 B | 2026-Sep-20 03:47 |
| minisat-2.2.1_0.darwin_27.arm64.tbz2.rmd160 | 512 B | 2026-Sep-20 03:47 |
| minisat-2.2.1_0.darwin_27.arm64.tbz2 | 85.5 KiB | 2026-Sep-20 03:47 |
| minisat-2.2.1_0.darwin_25.arm64.tbz2.sig | 159 B | 2026-Sep-11 02:52 |
| minisat-2.2.1_0.darwin_25.arm64.tbz2.rmd160 | 512 B | 2025-Nov-29 01:18 |
| minisat-2.2.1_0.darwin_25.arm64.tbz2 | 85.1 KiB | 2025-Nov-29 01:18 |
| minisat-2.2.1_0.darwin_24.x86_64.tbz2.sig | 159 B | 2026-Sep-11 02:52 |
| minisat-2.2.1_0.darwin_24.x86_64.tbz2.rmd160 | 512 B | 2025-Nov-28 02:45 |
| minisat-2.2.1_0.darwin_24.x86_64.tbz2 | 84.5 KiB | 2025-Nov-28 02:45 |
| minisat-2.2.1_0.darwin_24.arm64.tbz2.sig | 159 B | 2026-Sep-11 02:52 |
| minisat-2.2.1_0.darwin_24.arm64.tbz2.rmd160 | 512 B | 2025-Nov-28 02:46 |
| minisat-2.2.1_0.darwin_24.arm64.tbz2 | 85.1 KiB | 2025-Nov-28 02:46 |
| minisat-2.2.1_0.darwin_23.x86_64.tbz2.sig | 159 B | 2026-Sep-11 02:52 |
| minisat-2.2.1_0.darwin_23.x86_64.tbz2.rmd160 | 512 B | 2025-Nov-28 03:52 |
| minisat-2.2.1_0.darwin_23.x86_64.tbz2 | 85.3 KiB | 2025-Nov-28 03:52 |
| minisat-2.2.1_0.darwin_23.arm64.tbz2.sig | 159 B | 2026-Sep-11 02:52 |
| minisat-2.2.1_0.darwin_23.arm64.tbz2.rmd160 | 512 B | 2025-Nov-28 02:44 |
| minisat-2.2.1_0.darwin_23.arm64.tbz2 | 85.6 KiB | 2025-Nov-28 02:44 |
| minisat-2.2.1_0.darwin_22.x86_64.tbz2.sig | 159 B | 2026-Sep-11 02:52 |
| minisat-2.2.1_0.darwin_22.x86_64.tbz2.rmd160 | 512 B | 2025-Nov-28 05:20 |
| minisat-2.2.1_0.darwin_22.x86_64.tbz2 | 85.2 KiB | 2025-Nov-28 05:20 |
| minisat-2.2.1_0.darwin_22.arm64.tbz2.sig | 159 B | 2026-Sep-11 02:52 |
| minisat-2.2.1_0.darwin_22.arm64.tbz2.rmd160 | 512 B | 2025-Nov-28 05:25 |
| minisat-2.2.1_0.darwin_22.arm64.tbz2 | 85.4 KiB | 2025-Nov-28 05:25 |
| minisat-2.2.1_0.darwin_21.x86_64.tbz2.sig | 159 B | 2026-Sep-11 02:52 |
| minisat-2.2.1_0.darwin_21.x86_64.tbz2.rmd160 | 512 B | 2025-Nov-28 02:48 |
| minisat-2.2.1_0.darwin_21.x86_64.tbz2 | 86.0 KiB | 2025-Nov-28 02:48 |
| minisat-2.2.1_0.darwin_21.arm64.tbz2.sig | 159 B | 2026-Sep-11 02:52 |
| minisat-2.2.1_0.darwin_21.arm64.tbz2.rmd160 | 512 B | 2025-Nov-28 05:50 |
| minisat-2.2.1_0.darwin_21.arm64.tbz2 | 85.2 KiB | 2025-Nov-28 05:50 |
| minisat-2.2.1_0.darwin_20.x86_64.tbz2.sig | 159 B | 2026-Sep-11 02:52 |
| minisat-2.2.1_0.darwin_20.x86_64.tbz2.rmd160 | 512 B | 2025-Nov-28 02:54 |
| minisat-2.2.1_0.darwin_20.x86_64.tbz2 | 86.2 KiB | 2025-Nov-28 02:54 |
| minisat-2.2.1_0.darwin_20.arm64.tbz2.sig | 159 B | 2026-Sep-11 02:52 |
| minisat-2.2.1_0.darwin_20.arm64.tbz2.rmd160 | 512 B | 2025-Nov-28 09:19 |
| minisat-2.2.1_0.darwin_20.arm64.tbz2 | 86.5 KiB | 2025-Nov-28 09:19 |
| minisat-2.2.1_0.darwin_19.x86_64.tbz2.sig | 159 B | 2026-Sep-11 02:52 |
| minisat-2.2.1_0.darwin_19.x86_64.tbz2.rmd160 | 512 B | 2025-Nov-28 02:50 |
| minisat-2.2.1_0.darwin_19.x86_64.tbz2 | 85.8 KiB | 2025-Nov-28 02:50 |
| minisat-2.2.1_0.darwin_18.x86_64.tbz2.sig | 159 B | 2026-Sep-11 02:52 |
| minisat-2.2.1_0.darwin_18.x86_64.tbz2.rmd160 | 512 B | 2025-Nov-28 02:58 |
| minisat-2.2.1_0.darwin_18.x86_64.tbz2 | 85.7 KiB | 2025-Nov-28 02:58 |
| minisat-2.2.1_0.darwin_17.x86_64.tbz2.sig | 159 B | 2026-Sep-11 02:52 |
| minisat-2.2.1_0.darwin_17.x86_64.tbz2.rmd160 | 512 B | 2025-Nov-28 02:49 |
| minisat-2.2.1_0.darwin_17.x86_64.tbz2 | 85.3 KiB | 2025-Nov-28 02:49 |
| minisat-2.2.1_0.darwin_16.x86_64.tbz2.sig | 159 B | 2026-Sep-11 02:52 |
| minisat-2.2.1_0.darwin_16.x86_64.tbz2.rmd160 | 512 B | 2025-Nov-28 02:57 |
| minisat-2.2.1_0.darwin_16.x86_64.tbz2 | 86.2 KiB | 2025-Nov-28 02:57 |
| minisat-2.2.1_0.darwin_15.x86_64.tbz2.sig | 159 B | 2026-Sep-11 02:52 |
| minisat-2.2.1_0.darwin_15.x86_64.tbz2.rmd160 | 512 B | 2025-Nov-28 03:04 |
| minisat-2.2.1_0.darwin_15.x86_64.tbz2 | 85.5 KiB | 2025-Nov-28 03:04 |
| minisat-2.2.1_0.darwin_14.x86_64.tbz2.sig | 159 B | 2026-Sep-11 02:52 |
| minisat-2.2.1_0.darwin_14.x86_64.tbz2.rmd160 | 512 B | 2025-Nov-28 02:51 |
| minisat-2.2.1_0.darwin_14.x86_64.tbz2 | 86.8 KiB | 2025-Nov-28 02:51 |
| minisat-2.2.1_0.darwin_13.x86_64.tbz2.sig | 159 B | 2026-Sep-11 02:52 |
| minisat-2.2.1_0.darwin_13.x86_64.tbz2.rmd160 | 512 B | 2025-Nov-28 02:55 |
| minisat-2.2.1_0.darwin_13.x86_64.tbz2 | 90.1 KiB | 2025-Nov-28 02:55 |
| minisat-2.2.1_0.darwin_12.x86_64.tbz2.sig | 159 B | 2026-Sep-11 02:52 |
| minisat-2.2.1_0.darwin_12.x86_64.tbz2.rmd160 | 512 B | 2025-Nov-28 02:56 |
| minisat-2.2.1_0.darwin_12.x86_64.tbz2 | 91.2 KiB | 2025-Nov-28 02:56 |
| minisat-2.2.1_0.darwin_11.x86_64.tbz2.sig | 159 B | 2026-Sep-11 02:52 |
| minisat-2.2.1_0.darwin_11.x86_64.tbz2.rmd160 | 512 B | 2025-Nov-28 02:55 |
| minisat-2.2.1_0.darwin_11.x86_64.tbz2 | 93.1 KiB | 2025-Nov-28 02:55 |
| minisat-2.2.1_0.darwin_10.x86_64.tbz2.sig | 159 B | 2026-Sep-11 02:52 |
| minisat-2.2.1_0.darwin_10.x86_64.tbz2.rmd160 | 512 B | 2025-Nov-28 02:50 |
| minisat-2.2.1_0.darwin_10.x86_64.tbz2 | 88.1 KiB | 2025-Nov-28 02:50 |
| minisat-2.2.1_0.darwin_10.i386.tbz2.sig | 159 B | 2026-Sep-11 02:52 |
| minisat-2.2.1_0.darwin_10.i386.tbz2.rmd160 | 512 B | 2025-Nov-28 02:56 |
| minisat-2.2.1_0.darwin_10.i386.tbz2 | 89.9 KiB | 2025-Nov-28 02:56 |
/minisat/