Index of /~caisw/Code/
../
SAT/ 29-Dec-2021 07:38 -
cit/ 31-Oct-2019 02:41 -
graphs/ 16-Jan-2021 06:58 -
maxsat/ 16-Jan-2021 06:05 -
CCASat-Opensource.zip 26-Aug-2014 07:35 549410
CCAnr+CP3.zip 17-Nov-2016 02:10 12484461
CCAnr+cnc.zip 25-Feb-2021 09:32 36676671
CCAnr-1.1.zip 02-Apr-2018 07:12 612075
CCAnr.tar 27-Jan-2021 02:48 2014208
CSCCSat2014.tar 23-Sep-2014 00:56 716800
CScoreSAT2013.tar 26-Aug-2014 07:35 153600
Dist-2016.zip 12-Aug-2016 02:15 607501
DynWVC2.zip 19-Jul-2019 01:30 4509
EWCC-code.tar.gz 26-Aug-2014 07:35 337924
EWLS code.tar.gz 26-Aug-2014 07:35 336518
FastColor.zip 01-Sep-2017 00:07 627793
FastVCv2015.11.zip 30-Nov-2015 01:24 13949
FastWClq.zip 22-Nov-2016 07:30 622095
FastWVC.zip 19-May-2018 07:44 24374
Graph converter.tar.gz 09-Mar-2015 05:10 1378088
ISverifier.tar 01-Dec-2014 08:21 1525760
JAIR-SATcodes.zip 26-Jan-2022 01:46 21793615
JAIR-SATtables.zip 26-Jan-2022 01:50 678484
NuMVC-Code.zip 28-Jan-2015 05:09 215104
NuMVC_v2015.8.zip 28-Aug-2015 01:57 324310
ReasonLS.zip 29-Oct-2019 09:00 3334230
SAT-JAIR.zip 24-Jan-2022 02:16 4504414017
SAT_Competition_2014_CCAnrglucose.tar 17-Nov-2016 02:10 1792000
Swcc code.tar.gz 26-Aug-2014 07:35 310756
Swcca code.zip 26-Aug-2014 07:35 9324
VCverifier.tar 14-Oct-2014 07:57 1497088
WalkSAT2013.zip 26-Aug-2014 07:35 317545
WalkSATlm2013.tar 14-Oct-2014 01:16 1865728