Index of /minisat/
../
minisat-2.2.0_1.darwin_11.x86_64.tbz2 15-Nov-2019 17:48 45574
minisat-2.2.0_1.darwin_11.x86_64.tbz2.rmd160 15-Nov-2019 17:48 512
minisat-2.2.0_1.darwin_12.x86_64.tbz2 16-Nov-2019 17:56 45603
minisat-2.2.0_1.darwin_12.x86_64.tbz2.rmd160 16-Nov-2019 17:56 512
minisat-2.2.0_1.darwin_13.x86_64.tbz2 21-Sep-2016 04:43 44945
minisat-2.2.0_1.darwin_13.x86_64.tbz2.rmd160 21-Sep-2016 04:43 512
minisat-2.2.0_1.darwin_14.x86_64.tbz2 21-Sep-2016 05:28 45649
minisat-2.2.0_1.darwin_14.x86_64.tbz2.rmd160 21-Sep-2016 05:28 512
minisat-2.2.0_1.darwin_15.x86_64.tbz2 21-Sep-2016 05:52 45172
minisat-2.2.0_1.darwin_15.x86_64.tbz2.rmd160 21-Sep-2016 05:52 512
minisat-2.2.0_1.darwin_16.x86_64.tbz2 21-Sep-2016 05:35 45016
minisat-2.2.0_1.darwin_16.x86_64.tbz2.rmd160 21-Sep-2016 05:35 512
minisat-2.2.0_1.darwin_17.x86_64.tbz2 21-Oct-2018 05:29 46180
minisat-2.2.0_1.darwin_17.x86_64.tbz2.rmd160 21-Oct-2018 05:29 512
minisat-2.2.0_1.darwin_18.x86_64.tbz2 21-Oct-2018 13:10 48002
minisat-2.2.0_1.darwin_18.x86_64.tbz2.rmd160 21-Oct-2018 13:10 512
minisat-2.2.0_1.darwin_19.x86_64.tbz2 29-Dec-2019 22:12 46469
minisat-2.2.0_1.darwin_19.x86_64.tbz2.rmd160 29-Dec-2019 22:12 512
minisat-2.2.0_1.darwin_20.arm64.tbz2 02-Jan-2021 15:09 42618
minisat-2.2.0_1.darwin_20.arm64.tbz2.rmd160 02-Jan-2021 15:09 512
minisat-2.2.0_1.darwin_20.x86_64.tbz2 02-Jan-2021 19:49 45644
minisat-2.2.0_1.darwin_20.x86_64.tbz2.rmd160 02-Jan-2021 19:49 512
minisat-2.2.0_1.darwin_21.arm64.tbz2 23-Nov-2021 16:43 42406
minisat-2.2.0_1.darwin_21.arm64.tbz2.rmd160 23-Nov-2021 16:43 512
minisat-2.2.0_1.darwin_21.x86_64.tbz2 12-Jan-2022 12:47 45457
minisat-2.2.0_1.darwin_21.x86_64.tbz2.rmd160 12-Jan-2022 12:47 512
minisat-2.2.0_1.darwin_22.arm64.tbz2 06-Mar-2023 16:12 42515
minisat-2.2.0_1.darwin_22.arm64.tbz2.rmd160 06-Mar-2023 16:12 512
minisat-2.2.0_1.darwin_22.x86_64.tbz2 25-Dec-2022 09:51 45385
minisat-2.2.0_1.darwin_22.x86_64.tbz2.rmd160 25-Dec-2022 09:51 512
minisat-2.2.0_1.darwin_23.arm64.tbz2 22-Jan-2024 12:16 43484
minisat-2.2.0_1.darwin_23.arm64.tbz2.rmd160 22-Jan-2024 12:16 512
minisat-2.2.0_1.darwin_23.x86_64.tbz2 24-Dec-2023 03:27 46029
minisat-2.2.0_1.darwin_23.x86_64.tbz2.rmd160 24-Dec-2023 03:27 512
minisat-2.2.0_1.darwin_24.x86_64.tbz2 08-Oct-2024 02:58 45354
minisat-2.2.0_1.darwin_24.x86_64.tbz2.rmd160 08-Oct-2024 02:58 512
minisat-2.2.0_1.darwin_9.ppc.tbz2 02-Oct-2016 00:27 45928
minisat-2.2.0_1.darwin_9.ppc.tbz2.rmd160 02-Oct-2016 00:27 512