Alwyzon /macports/packages/minisat/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
minisat-2.2.0_1.darwin_24.arm64.tbz2.rmd160512 B2025-Mar-16 01:09
minisat-2.2.0_1.darwin_24.arm64.tbz242.7 KiB2025-Mar-16 01:09
minisat-2.2.1_0.darwin_23.arm64.tbz285.6 KiB2025-Nov-28 02:44
minisat-2.2.1_0.darwin_23.arm64.tbz2.rmd160512 B2025-Nov-28 02:44
minisat-2.2.1_0.darwin_24.x86_64.tbz284.5 KiB2025-Nov-28 02:45
minisat-2.2.1_0.darwin_24.x86_64.tbz2.rmd160512 B2025-Nov-28 02:45
minisat-2.2.1_0.darwin_24.arm64.tbz285.1 KiB2025-Nov-28 02:46
minisat-2.2.1_0.darwin_24.arm64.tbz2.rmd160512 B2025-Nov-28 02:46
minisat-2.2.1_0.darwin_21.x86_64.tbz286.0 KiB2025-Nov-28 02:48
minisat-2.2.1_0.darwin_21.x86_64.tbz2.rmd160512 B2025-Nov-28 02:48
minisat-2.2.1_0.darwin_17.x86_64.tbz2.rmd160512 B2025-Nov-28 02:49
minisat-2.2.1_0.darwin_17.x86_64.tbz285.3 KiB2025-Nov-28 02:49
minisat-2.2.1_0.darwin_10.x86_64.tbz2.rmd160512 B2025-Nov-28 02:50
minisat-2.2.1_0.darwin_10.x86_64.tbz288.1 KiB2025-Nov-28 02:50
minisat-2.2.1_0.darwin_19.x86_64.tbz285.8 KiB2025-Nov-28 02:50
minisat-2.2.1_0.darwin_19.x86_64.tbz2.rmd160512 B2025-Nov-28 02:50
minisat-2.2.1_0.darwin_14.x86_64.tbz286.8 KiB2025-Nov-28 02:51
minisat-2.2.1_0.darwin_14.x86_64.tbz2.rmd160512 B2025-Nov-28 02:51
minisat-2.2.1_0.darwin_20.x86_64.tbz2.rmd160512 B2025-Nov-28 02:54
minisat-2.2.1_0.darwin_20.x86_64.tbz286.2 KiB2025-Nov-28 02:54
minisat-2.2.1_0.darwin_11.x86_64.tbz2.rmd160512 B2025-Nov-28 02:55
minisat-2.2.1_0.darwin_11.x86_64.tbz293.1 KiB2025-Nov-28 02:55
minisat-2.2.1_0.darwin_13.x86_64.tbz290.1 KiB2025-Nov-28 02:55
minisat-2.2.1_0.darwin_13.x86_64.tbz2.rmd160512 B2025-Nov-28 02:55
minisat-2.2.1_0.darwin_10.i386.tbz289.9 KiB2025-Nov-28 02:56
minisat-2.2.1_0.darwin_10.i386.tbz2.rmd160512 B2025-Nov-28 02:56
minisat-2.2.1_0.darwin_12.x86_64.tbz291.2 KiB2025-Nov-28 02:56
minisat-2.2.1_0.darwin_12.x86_64.tbz2.rmd160512 B2025-Nov-28 02:56
minisat-2.2.1_0.darwin_16.x86_64.tbz286.2 KiB2025-Nov-28 02:57
minisat-2.2.1_0.darwin_16.x86_64.tbz2.rmd160512 B2025-Nov-28 02:57
minisat-2.2.1_0.darwin_18.x86_64.tbz285.7 KiB2025-Nov-28 02:58
minisat-2.2.1_0.darwin_18.x86_64.tbz2.rmd160512 B2025-Nov-28 02:58
minisat-2.2.1_0.darwin_15.x86_64.tbz285.5 KiB2025-Nov-28 03:04
minisat-2.2.1_0.darwin_15.x86_64.tbz2.rmd160512 B2025-Nov-28 03:04
minisat-2.2.1_0.darwin_23.x86_64.tbz285.3 KiB2025-Nov-28 03:52
minisat-2.2.1_0.darwin_23.x86_64.tbz2.rmd160512 B2025-Nov-28 03:52
minisat-2.2.1_0.darwin_22.x86_64.tbz285.2 KiB2025-Nov-28 05:20
minisat-2.2.1_0.darwin_22.x86_64.tbz2.rmd160512 B2025-Nov-28 05:20
minisat-2.2.1_0.darwin_22.arm64.tbz285.4 KiB2025-Nov-28 05:25
minisat-2.2.1_0.darwin_22.arm64.tbz2.rmd160512 B2025-Nov-28 05:25
minisat-2.2.1_0.darwin_21.arm64.tbz285.2 KiB2025-Nov-28 05:50
minisat-2.2.1_0.darwin_21.arm64.tbz2.rmd160512 B2025-Nov-28 05:50
minisat-2.2.1_0.darwin_20.arm64.tbz2.rmd160512 B2025-Nov-28 09:19
minisat-2.2.1_0.darwin_20.arm64.tbz286.5 KiB2025-Nov-28 09:19
minisat-2.2.1_0.darwin_25.arm64.tbz2.rmd160512 B2025-Nov-29 01:18
minisat-2.2.1_0.darwin_25.arm64.tbz285.1 KiB2025-Nov-29 01:18