added solvers

satcompetition · Jul 20, 2021 · 6e9909f · 6e9909f
1 parent a9a0494
commit 6e9909f
Show file tree

Hide file tree

Showing 52 changed files with 0 additions and 0 deletions.
diff --git a/solvers/CCAnrSim.zip b/solvers/CCAnrSim.zip
diff --git a/solvers/COMiniSatPS_Pulsar_drup.zip b/solvers/COMiniSatPS_Pulsar_drup.zip
diff --git a/solvers/CaDiCaL.zip b/solvers/CaDiCaL.zip
diff --git a/solvers/Candy.zip b/solvers/Candy.zip
diff --git a/solvers/MLDChronoBT_GCBump.zip b/solvers/MLDChronoBT_GCBump.zip
diff --git a/solvers/MapleCOMSPS_CHB_VSIDS_drup.zip b/solvers/MapleCOMSPS_CHB_VSIDS_drup.zip
diff --git a/solvers/MapleCOMSPS_LRB_VSIDS_2_drup.zip b/solvers/MapleCOMSPS_LRB_VSIDS_2_drup.zip
diff --git a/solvers/MapleCOMSPS_LRB_VSIDS_drup.zip b/solvers/MapleCOMSPS_LRB_VSIDS_drup.zip
diff --git a/solvers/MapleLCMChronoBT_DEL.zip b/solvers/MapleLCMChronoBT_DEL.zip
diff --git a/solvers/MapleLCMChronoBT_Scavel_EWMA.zip b/solvers/MapleLCMChronoBT_Scavel_EWMA.zip
diff --git a/solvers/MapleLCMChronoBT_ldcr.zip b/solvers/MapleLCMChronoBT_ldcr.zip
diff --git a/solvers/MapleLCMDISTChronoBT_Scavel_EWMA_08ALL.zip b/solvers/MapleLCMDISTChronoBT_Scavel_EWMA_08ALL.zip
diff --git a/solvers/MapleLCMDiscChronoBT-DL-v3.zip b/solvers/MapleLCMDiscChronoBT-DL-v3.zip
diff --git a/solvers/MapleLCMDistChronoBT-DL-v1.zip b/solvers/MapleLCMDistChronoBT-DL-v1.zip
diff --git a/solvers/MapleLCMDistChronoBT-DL-v2.1.zip b/solvers/MapleLCMDistChronoBT-DL-v2.1.zip
diff --git a/solvers/MapleLCMDistChronoBT-DL-v2.2.zip b/solvers/MapleLCMDistChronoBT-DL-v2.2.zip
diff --git a/solvers/MapleLCMDistChronoBTVariableReindexing.zip b/solvers/MapleLCMDistChronoBTVariableReindexing.zip
diff --git a/solvers/MapleLCMdistCBTcoreFirst.zip b/solvers/MapleLCMdistCBTcoreFirst.zip
diff --git a/solvers/Maple_CM_OnlineDel_19b.zip b/solvers/Maple_CM_OnlineDel_19b.zip
diff --git a/solvers/Maple_LCM_BTL.zip b/solvers/Maple_LCM_BTL.zip
diff --git a/solvers/Maple_LCM_OnlineDel_19a.zip b/solvers/Maple_LCM_OnlineDel_19a.zip
diff --git a/solvers/Maple_LCM_Scavel_155.zip b/solvers/Maple_LCM_Scavel_155.zip
diff --git a/solvers/MergeSAT.zip b/solvers/MergeSAT.zip
diff --git a/solvers/Minisat-v2.2.0-106-ge2dd095.zip b/solvers/Minisat-v2.2.0-106-ge2dd095.zip
diff --git a/solvers/PADC_MapleLCMDistChronoBT.zip b/solvers/PADC_MapleLCMDistChronoBT.zip
diff --git a/solvers/PADC_Maple_LCM_Dist.zip b/solvers/PADC_Maple_LCM_Dist.zip
diff --git a/solvers/PSIDS_MapleLCMDistChronoBT.zip b/solvers/PSIDS_MapleLCMDistChronoBT.zip
diff --git a/solvers/Relaxed_LCMDistChronoBT.zip b/solvers/Relaxed_LCMDistChronoBT.zip
diff --git a/solvers/Relaxed_LCMDistChronoBT_Scavel.zip b/solvers/Relaxed_LCMDistChronoBT_Scavel.zip
diff --git a/solvers/Relaxed_LCMDistChronoBT_p9.zip b/solvers/Relaxed_LCMDistChronoBT_p9.zip
diff --git a/solvers/Relaxed_LCM_Dist.zip b/solvers/Relaxed_LCM_Dist.zip
diff --git a/solvers/Riss7.1.zip b/solvers/Riss7.1.zip
diff --git a/solvers/SLIME.zip b/solvers/SLIME.zip
diff --git a/solvers/SparrowToMergeSAT.zip b/solvers/SparrowToMergeSAT.zip
diff --git a/solvers/Topk3.2_Glucose3.0.zip b/solvers/Topk3.2_Glucose3.0.zip
diff --git a/solvers/Topk3_Glucose3.0.zip b/solvers/Topk3_Glucose3.0.zip
diff --git a/solvers/Topk6.2_Glucose3.0.zip b/solvers/Topk6.2_Glucose3.0.zip
diff --git a/solvers/Topk6_Glucose3.0.zip b/solvers/Topk6_Glucose3.0.zip
diff --git a/solvers/ZIB_Glucose.zip b/solvers/ZIB_Glucose.zip
diff --git a/solvers/cmsatv56-walksat-chronobt.zip b/solvers/cmsatv56-walksat-chronobt.zip
diff --git a/solvers/cmsatv56-walksat.zip b/solvers/cmsatv56-walksat.zip
diff --git a/solvers/cmsatv56-yalsat-chronobt.zip b/solvers/cmsatv56-yalsat-chronobt.zip
diff --git a/solvers/cmsatv56-yalsat.zip b/solvers/cmsatv56-yalsat.zip
diff --git a/solvers/expMaple_CM.zip b/solvers/expMaple_CM.zip
diff --git a/solvers/expMaple_CM_GCBump.zip b/solvers/expMaple_CM_GCBump.zip
diff --git a/solvers/expMaple_CM_GCBumpOnlyLRB.zip b/solvers/expMaple_CM_GCBumpOnlyLRB.zip
diff --git a/solvers/glucose-4.2.1.zip b/solvers/glucose-4.2.1.zip
diff --git a/solvers/glucose3.0.zip b/solvers/glucose3.0.zip
diff --git a/solvers/glucose_421_del.zip b/solvers/glucose_421_del.zip
diff --git a/solvers/glucose_BTL.zip b/solvers/glucose_BTL.zip
diff --git a/solvers/optsat.zip b/solvers/optsat.zip
diff --git a/solvers/smallsat.zip b/solvers/smallsat.zip