Index of /boolector/

../
boolector-3.2.2_0.darwin_15.x86_64.tbz2            07-Jan-2022 02:20              401626
boolector-3.2.2_0.darwin_15.x86_64.tbz2.rmd160     07-Jan-2022 02:20                 512
boolector-3.2.2_0.darwin_16.x86_64.tbz2            06-Jan-2022 23:01              395377
boolector-3.2.2_0.darwin_16.x86_64.tbz2.rmd160     06-Jan-2022 23:01                 512
boolector-3.2.2_0.darwin_17.x86_64.tbz2            07-Jan-2022 06:16              396134
boolector-3.2.2_0.darwin_17.x86_64.tbz2.rmd160     07-Jan-2022 06:16                 512
boolector-3.2.2_0.darwin_18.x86_64.tbz2            07-Jan-2022 04:01              395765
boolector-3.2.2_0.darwin_18.x86_64.tbz2.rmd160     07-Jan-2022 04:01                 512
boolector-3.2.2_0.darwin_19.x86_64.tbz2            07-Jan-2022 02:05              399102
boolector-3.2.2_0.darwin_19.x86_64.tbz2.rmd160     07-Jan-2022 02:05                 512
boolector-3.2.2_0.darwin_20.arm64.tbz2             06-Jan-2022 17:54              380951
boolector-3.2.2_0.darwin_20.arm64.tbz2.rmd160      06-Jan-2022 17:54                 512
boolector-3.2.2_0.darwin_20.x86_64.tbz2            06-Jan-2022 22:27              397594
boolector-3.2.2_0.darwin_20.x86_64.tbz2.rmd160     06-Jan-2022 22:27                 512
boolector-3.2.2_0.darwin_21.arm64.tbz2             06-Jan-2022 20:50              378243
boolector-3.2.2_0.darwin_21.arm64.tbz2.rmd160      06-Jan-2022 20:50                 512
boolector-3.2.2_0.darwin_21.x86_64.tbz2            07-Jan-2022 08:43              397303
boolector-3.2.2_0.darwin_21.x86_64.tbz2.rmd160     07-Jan-2022 08:43                 512