Index of /~caisw/Code/maxsat/

../
CCLS2015                                           31-Oct-2019 08:26             1674825
LinearLSforPureMS.zip                              19-Jan-2021 07:41              947749
SATLike3.0.zip                                     21-Jan-2021 03:03              675604
SATLike_v2018.zip                                  12-Sep-2020 09:18             1265197