| Parent directory/ | - | - |
| minisat-2.2.0_1.darwin_11.x86_64.tbz2 | 44.5 KiB | 2019-Nov-15 17:48 |
| minisat-2.2.0_1.darwin_11.x86_64.tbz2.rmd160 | 512 B | 2019-Nov-15 17:48 |
| minisat-2.2.0_1.darwin_12.x86_64.tbz2 | 44.5 KiB | 2019-Nov-16 17:56 |
| minisat-2.2.0_1.darwin_12.x86_64.tbz2.rmd160 | 512 B | 2019-Nov-16 17:56 |
| minisat-2.2.0_1.darwin_13.x86_64.tbz2 | 43.9 KiB | 2016-Sep-21 04:43 |
| minisat-2.2.0_1.darwin_13.x86_64.tbz2.rmd160 | 512 B | 2016-Sep-21 04:43 |
| minisat-2.2.0_1.darwin_14.x86_64.tbz2 | 44.6 KiB | 2016-Sep-21 05:28 |
| minisat-2.2.0_1.darwin_14.x86_64.tbz2.rmd160 | 512 B | 2016-Sep-21 05:28 |
| minisat-2.2.0_1.darwin_15.x86_64.tbz2 | 44.1 KiB | 2016-Sep-21 05:52 |
| minisat-2.2.0_1.darwin_15.x86_64.tbz2.rmd160 | 512 B | 2016-Sep-21 05:52 |
| minisat-2.2.0_1.darwin_16.x86_64.tbz2 | 44.0 KiB | 2016-Sep-21 05:35 |
| minisat-2.2.0_1.darwin_16.x86_64.tbz2.rmd160 | 512 B | 2016-Sep-21 05:35 |
| minisat-2.2.0_1.darwin_17.x86_64.tbz2 | 45.1 KiB | 2018-Oct-21 05:29 |
| minisat-2.2.0_1.darwin_17.x86_64.tbz2.rmd160 | 512 B | 2018-Oct-21 05:29 |
| minisat-2.2.0_1.darwin_18.x86_64.tbz2 | 46.9 KiB | 2018-Oct-21 13:10 |
| minisat-2.2.0_1.darwin_18.x86_64.tbz2.rmd160 | 512 B | 2018-Oct-21 13:10 |
| minisat-2.2.0_1.darwin_19.x86_64.tbz2 | 45.4 KiB | 2019-Dec-29 22:12 |
| minisat-2.2.0_1.darwin_19.x86_64.tbz2.rmd160 | 512 B | 2019-Dec-29 22:12 |
| minisat-2.2.0_1.darwin_20.arm64.tbz2 | 41.6 KiB | 2021-Jan-02 15:09 |
| minisat-2.2.0_1.darwin_20.arm64.tbz2.rmd160 | 512 B | 2021-Jan-02 15:09 |
| minisat-2.2.0_1.darwin_20.x86_64.tbz2 | 44.6 KiB | 2021-Jan-02 19:49 |
| minisat-2.2.0_1.darwin_20.x86_64.tbz2.rmd160 | 512 B | 2021-Jan-02 19:49 |
| minisat-2.2.0_1.darwin_21.arm64.tbz2 | 41.4 KiB | 2021-Nov-23 16:43 |
| minisat-2.2.0_1.darwin_21.arm64.tbz2.rmd160 | 512 B | 2021-Nov-23 16:43 |
| minisat-2.2.0_1.darwin_21.x86_64.tbz2 | 44.4 KiB | 2022-Jan-12 12:47 |
| minisat-2.2.0_1.darwin_21.x86_64.tbz2.rmd160 | 512 B | 2022-Jan-12 12:47 |
| minisat-2.2.0_1.darwin_22.arm64.tbz2 | 41.5 KiB | 2023-Mar-06 16:12 |
| minisat-2.2.0_1.darwin_22.arm64.tbz2.rmd160 | 512 B | 2023-Mar-06 16:12 |
| minisat-2.2.0_1.darwin_22.x86_64.tbz2 | 44.3 KiB | 2022-Dec-25 09:51 |
| minisat-2.2.0_1.darwin_22.x86_64.tbz2.rmd160 | 512 B | 2022-Dec-25 09:51 |
| minisat-2.2.0_1.darwin_23.arm64.tbz2 | 42.5 KiB | 2024-Jan-22 12:16 |
| minisat-2.2.0_1.darwin_23.arm64.tbz2.rmd160 | 512 B | 2024-Jan-22 12:16 |
| minisat-2.2.0_1.darwin_23.x86_64.tbz2 | 45.0 KiB | 2023-Dec-24 03:27 |
| minisat-2.2.0_1.darwin_23.x86_64.tbz2.rmd160 | 512 B | 2023-Dec-24 03:27 |
| minisat-2.2.0_1.darwin_24.x86_64.tbz2 | 44.3 KiB | 2024-Oct-08 02:58 |
| minisat-2.2.0_1.darwin_24.x86_64.tbz2.rmd160 | 512 B | 2024-Oct-08 02:58 |
| minisat-2.2.0_1.darwin_9.ppc.tbz2 | 44.9 KiB | 2016-Oct-02 00:27 |
| minisat-2.2.0_1.darwin_9.ppc.tbz2.rmd160 | 512 B | 2016-Oct-02 00:27 |
/minisat/