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