minisat

Name	Size	Modified
Up
minisat-2.2.0_1.darwin_11.x86_64.tbz2	44 KiB	11/15/2019 05:48:22 PM +00:00
minisat-2.2.0_1.darwin_11.x86_64.tbz2.rmd160	512 B	11/15/2019 05:48:22 PM +00:00
minisat-2.2.0_1.darwin_12.x86_64.tbz2	44 KiB	11/16/2019 05:56:01 PM +00:00
minisat-2.2.0_1.darwin_12.x86_64.tbz2.rmd160	512 B	11/16/2019 05:56:01 PM +00:00
minisat-2.2.0_1.darwin_13.x86_64.tbz2	44 KiB	09/21/2016 04:43:41 AM +00:00
minisat-2.2.0_1.darwin_13.x86_64.tbz2.rmd160	512 B	09/21/2016 04:43:41 AM +00:00
minisat-2.2.0_1.darwin_14.x86_64.tbz2	45 KiB	09/21/2016 05:28:15 AM +00:00
minisat-2.2.0_1.darwin_14.x86_64.tbz2.rmd160	512 B	09/21/2016 05:28:15 AM +00:00
minisat-2.2.0_1.darwin_15.x86_64.tbz2	44 KiB	09/21/2016 05:52:44 AM +00:00
minisat-2.2.0_1.darwin_15.x86_64.tbz2.rmd160	512 B	09/21/2016 05:52:44 AM +00:00
minisat-2.2.0_1.darwin_16.x86_64.tbz2	44 KiB	09/21/2016 05:35:04 AM +00:00
minisat-2.2.0_1.darwin_16.x86_64.tbz2.rmd160	512 B	09/21/2016 05:35:04 AM +00:00
minisat-2.2.0_1.darwin_17.x86_64.tbz2	45 KiB	10/21/2018 05:29:45 AM +00:00
minisat-2.2.0_1.darwin_17.x86_64.tbz2.rmd160	512 B	10/21/2018 05:29:45 AM +00:00
minisat-2.2.0_1.darwin_18.x86_64.tbz2	47 KiB	10/21/2018 01:10:10 PM +00:00
minisat-2.2.0_1.darwin_18.x86_64.tbz2.rmd160	512 B	10/21/2018 01:10:10 PM +00:00
minisat-2.2.0_1.darwin_19.x86_64.tbz2	45 KiB	12/29/2019 10:12:48 PM +00:00
minisat-2.2.0_1.darwin_19.x86_64.tbz2.rmd160	512 B	12/29/2019 10:12:48 PM +00:00
minisat-2.2.0_1.darwin_20.arm64.tbz2	42 KiB	01/02/2021 03:09:21 PM +00:00
minisat-2.2.0_1.darwin_20.arm64.tbz2.rmd160	512 B	01/02/2021 03:09:21 PM +00:00
minisat-2.2.0_1.darwin_20.x86_64.tbz2	45 KiB	01/02/2021 07:49:03 PM +00:00
minisat-2.2.0_1.darwin_20.x86_64.tbz2.rmd160	512 B	01/02/2021 07:49:03 PM +00:00
minisat-2.2.0_1.darwin_21.arm64.tbz2	41 KiB	11/23/2021 04:43:39 PM +00:00
minisat-2.2.0_1.darwin_21.arm64.tbz2.rmd160	512 B	11/23/2021 04:43:39 PM +00:00
minisat-2.2.0_1.darwin_21.x86_64.tbz2	44 KiB	01/12/2022 12:47:19 PM +00:00
minisat-2.2.0_1.darwin_21.x86_64.tbz2.rmd160	512 B	01/12/2022 12:47:19 PM +00:00
minisat-2.2.0_1.darwin_22.arm64.tbz2	42 KiB	03/06/2023 04:12:10 PM +00:00
minisat-2.2.0_1.darwin_22.arm64.tbz2.rmd160	512 B	03/06/2023 04:12:10 PM +00:00
minisat-2.2.0_1.darwin_22.x86_64.tbz2	44 KiB	12/25/2022 09:51:05 AM +00:00
minisat-2.2.0_1.darwin_22.x86_64.tbz2.rmd160	512 B	12/25/2022 09:51:05 AM +00:00
minisat-2.2.0_1.darwin_9.ppc.tbz2	45 KiB	10/02/2016 12:27:30 AM +00:00
minisat-2.2.0_1.darwin_9.ppc.tbz2.rmd160	512 B	10/02/2016 12:27:30 AM +00:00