Index of /minisat/

../
minisat-2.2.0_1.darwin_24.arm64.tbz2               16-Mar-2025 01:09               43748
minisat-2.2.0_1.darwin_24.arm64.tbz2.rmd160        16-Mar-2025 01:09                 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.1_0.darwin_10.i386.tbz2                28-Nov-2025 02:56               92040
minisat-2.2.1_0.darwin_10.i386.tbz2.rmd160         28-Nov-2025 02:56                 512
minisat-2.2.1_0.darwin_10.x86_64.tbz2              28-Nov-2025 02:50               90238
minisat-2.2.1_0.darwin_10.x86_64.tbz2.rmd160       28-Nov-2025 02:50                 512
minisat-2.2.1_0.darwin_11.x86_64.tbz2              28-Nov-2025 02:55               95369
minisat-2.2.1_0.darwin_11.x86_64.tbz2.rmd160       28-Nov-2025 02:55                 512
minisat-2.2.1_0.darwin_12.x86_64.tbz2              28-Nov-2025 02:56               93354
minisat-2.2.1_0.darwin_12.x86_64.tbz2.rmd160       28-Nov-2025 02:56                 512
minisat-2.2.1_0.darwin_13.x86_64.tbz2              28-Nov-2025 02:55               92250
minisat-2.2.1_0.darwin_13.x86_64.tbz2.rmd160       28-Nov-2025 02:55                 512
minisat-2.2.1_0.darwin_14.x86_64.tbz2              28-Nov-2025 02:51               88869
minisat-2.2.1_0.darwin_14.x86_64.tbz2.rmd160       28-Nov-2025 02:51                 512
minisat-2.2.1_0.darwin_15.x86_64.tbz2              28-Nov-2025 03:04               87551
minisat-2.2.1_0.darwin_15.x86_64.tbz2.rmd160       28-Nov-2025 03:04                 512
minisat-2.2.1_0.darwin_16.x86_64.tbz2              28-Nov-2025 02:57               88259
minisat-2.2.1_0.darwin_16.x86_64.tbz2.rmd160       28-Nov-2025 02:57                 512
minisat-2.2.1_0.darwin_17.x86_64.tbz2              28-Nov-2025 02:49               87368
minisat-2.2.1_0.darwin_17.x86_64.tbz2.rmd160       28-Nov-2025 02:49                 512
minisat-2.2.1_0.darwin_18.x86_64.tbz2              28-Nov-2025 02:58               87721
minisat-2.2.1_0.darwin_18.x86_64.tbz2.rmd160       28-Nov-2025 02:58                 512
minisat-2.2.1_0.darwin_19.x86_64.tbz2              28-Nov-2025 02:50               87817
minisat-2.2.1_0.darwin_19.x86_64.tbz2.rmd160       28-Nov-2025 02:50                 512
minisat-2.2.1_0.darwin_20.arm64.tbz2               28-Nov-2025 09:19               88572
minisat-2.2.1_0.darwin_20.arm64.tbz2.rmd160        28-Nov-2025 09:19                 512
minisat-2.2.1_0.darwin_20.x86_64.tbz2              28-Nov-2025 02:54               88274
minisat-2.2.1_0.darwin_20.x86_64.tbz2.rmd160       28-Nov-2025 02:54                 512
minisat-2.2.1_0.darwin_21.arm64.tbz2               28-Nov-2025 05:50               87238
minisat-2.2.1_0.darwin_21.arm64.tbz2.rmd160        28-Nov-2025 05:50                 512
minisat-2.2.1_0.darwin_21.x86_64.tbz2              28-Nov-2025 02:48               88014
minisat-2.2.1_0.darwin_21.x86_64.tbz2.rmd160       28-Nov-2025 02:48                 512
minisat-2.2.1_0.darwin_22.arm64.tbz2               28-Nov-2025 05:25               87484
minisat-2.2.1_0.darwin_22.arm64.tbz2.rmd160        28-Nov-2025 05:25                 512
minisat-2.2.1_0.darwin_22.x86_64.tbz2              28-Nov-2025 05:20               87228
minisat-2.2.1_0.darwin_22.x86_64.tbz2.rmd160       28-Nov-2025 05:20                 512
minisat-2.2.1_0.darwin_23.arm64.tbz2               28-Nov-2025 02:44               87679
minisat-2.2.1_0.darwin_23.arm64.tbz2.rmd160        28-Nov-2025 02:44                 512
minisat-2.2.1_0.darwin_23.x86_64.tbz2              28-Nov-2025 03:52               87353
minisat-2.2.1_0.darwin_23.x86_64.tbz2.rmd160       28-Nov-2025 03:52                 512
minisat-2.2.1_0.darwin_24.arm64.tbz2               28-Nov-2025 02:46               87167
minisat-2.2.1_0.darwin_24.arm64.tbz2.rmd160        28-Nov-2025 02:46                 512
minisat-2.2.1_0.darwin_24.x86_64.tbz2              28-Nov-2025 02:45               86536
minisat-2.2.1_0.darwin_24.x86_64.tbz2.rmd160       28-Nov-2025 02:45                 512
minisat-2.2.1_0.darwin_25.arm64.tbz2               29-Nov-2025 01:18               87137
minisat-2.2.1_0.darwin_25.arm64.tbz2.rmd160        29-Nov-2025 01:18                 512