Files

 master

/

solvers

/

Copy path

Directory actions

More options

Directory actions

More options

Latest commit

Martin Suda

added solvers

Jul 20, 2021

6e9909f · Jul 20, 2021

History

History

/

solvers

/

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
CCAnrSim.zip		CCAnrSim.zip	added solvers	Jul 20, 2021
COMiniSatPS_Pulsar_drup.zip		COMiniSatPS_Pulsar_drup.zip	added solvers	Jul 20, 2021
CaDiCaL.zip		CaDiCaL.zip	added solvers	Jul 20, 2021
Candy.zip		Candy.zip	added solvers	Jul 20, 2021
MLDChronoBT_GCBump.zip		MLDChronoBT_GCBump.zip	added solvers	Jul 20, 2021
MapleCOMSPS_CHB_VSIDS_drup.zip		MapleCOMSPS_CHB_VSIDS_drup.zip	added solvers	Jul 20, 2021
MapleCOMSPS_LRB_VSIDS_2_drup.zip		MapleCOMSPS_LRB_VSIDS_2_drup.zip	added solvers	Jul 20, 2021
MapleCOMSPS_LRB_VSIDS_drup.zip		MapleCOMSPS_LRB_VSIDS_drup.zip	added solvers	Jul 20, 2021
MapleLCMChronoBT_DEL.zip		MapleLCMChronoBT_DEL.zip	added solvers	Jul 20, 2021
MapleLCMChronoBT_Scavel_EWMA.zip		MapleLCMChronoBT_Scavel_EWMA.zip	added solvers	Jul 20, 2021
MapleLCMChronoBT_ldcr.zip		MapleLCMChronoBT_ldcr.zip	added solvers	Jul 20, 2021
MapleLCMDISTChronoBT_Scavel_EWMA_08ALL.zip		MapleLCMDISTChronoBT_Scavel_EWMA_08ALL.zip	added solvers	Jul 20, 2021
MapleLCMDiscChronoBT-DL-v3.zip		MapleLCMDiscChronoBT-DL-v3.zip	added solvers	Jul 20, 2021
MapleLCMDistChronoBT-DL-v1.zip		MapleLCMDistChronoBT-DL-v1.zip	added solvers	Jul 20, 2021
MapleLCMDistChronoBT-DL-v2.1.zip		MapleLCMDistChronoBT-DL-v2.1.zip	added solvers	Jul 20, 2021
MapleLCMDistChronoBT-DL-v2.2.zip		MapleLCMDistChronoBT-DL-v2.2.zip	added solvers	Jul 20, 2021
MapleLCMDistChronoBTVariableReindexing.zip		MapleLCMDistChronoBTVariableReindexing.zip	added solvers	Jul 20, 2021
MapleLCMdistCBTcoreFirst.zip		MapleLCMdistCBTcoreFirst.zip	added solvers	Jul 20, 2021
Maple_CM_OnlineDel_19b.zip		Maple_CM_OnlineDel_19b.zip	added solvers	Jul 20, 2021
Maple_LCM_BTL.zip		Maple_LCM_BTL.zip	added solvers	Jul 20, 2021
Maple_LCM_OnlineDel_19a.zip		Maple_LCM_OnlineDel_19a.zip	added solvers	Jul 20, 2021
Maple_LCM_Scavel_155.zip		Maple_LCM_Scavel_155.zip	added solvers	Jul 20, 2021
MergeSAT.zip		MergeSAT.zip	added solvers	Jul 20, 2021
Minisat-v2.2.0-106-ge2dd095.zip		Minisat-v2.2.0-106-ge2dd095.zip	added solvers	Jul 20, 2021
PADC_MapleLCMDistChronoBT.zip		PADC_MapleLCMDistChronoBT.zip	added solvers	Jul 20, 2021
PADC_Maple_LCM_Dist.zip		PADC_Maple_LCM_Dist.zip	added solvers	Jul 20, 2021
PSIDS_MapleLCMDistChronoBT.zip		PSIDS_MapleLCMDistChronoBT.zip	added solvers	Jul 20, 2021
Relaxed_LCMDistChronoBT.zip		Relaxed_LCMDistChronoBT.zip	added solvers	Jul 20, 2021
Relaxed_LCMDistChronoBT_Scavel.zip		Relaxed_LCMDistChronoBT_Scavel.zip	added solvers	Jul 20, 2021
Relaxed_LCMDistChronoBT_p9.zip		Relaxed_LCMDistChronoBT_p9.zip	added solvers	Jul 20, 2021
Relaxed_LCM_Dist.zip		Relaxed_LCM_Dist.zip	added solvers	Jul 20, 2021
Riss7.1.zip		Riss7.1.zip	added solvers	Jul 20, 2021
SLIME.zip		SLIME.zip	added solvers	Jul 20, 2021
SparrowToMergeSAT.zip		SparrowToMergeSAT.zip	added solvers	Jul 20, 2021
Topk3.2_Glucose3.0.zip		Topk3.2_Glucose3.0.zip	added solvers	Jul 20, 2021
Topk3_Glucose3.0.zip		Topk3_Glucose3.0.zip	added solvers	Jul 20, 2021
Topk6.2_Glucose3.0.zip		Topk6.2_Glucose3.0.zip	added solvers	Jul 20, 2021
Topk6_Glucose3.0.zip		Topk6_Glucose3.0.zip	added solvers	Jul 20, 2021
ZIB_Glucose.zip		ZIB_Glucose.zip	added solvers	Jul 20, 2021
cmsatv56-walksat-chronobt.zip		cmsatv56-walksat-chronobt.zip	added solvers	Jul 20, 2021
cmsatv56-walksat.zip		cmsatv56-walksat.zip	added solvers	Jul 20, 2021
cmsatv56-yalsat-chronobt.zip		cmsatv56-yalsat-chronobt.zip	added solvers	Jul 20, 2021
cmsatv56-yalsat.zip		cmsatv56-yalsat.zip	added solvers	Jul 20, 2021
expMaple_CM.zip		expMaple_CM.zip	added solvers	Jul 20, 2021
expMaple_CM_GCBump.zip		expMaple_CM_GCBump.zip	added solvers	Jul 20, 2021
expMaple_CM_GCBumpOnlyLRB.zip		expMaple_CM_GCBumpOnlyLRB.zip	added solvers	Jul 20, 2021
glucose-4.2.1.zip		glucose-4.2.1.zip	added solvers	Jul 20, 2021
glucose3.0.zip		glucose3.0.zip	added solvers	Jul 20, 2021
glucose_421_del.zip		glucose_421_del.zip	added solvers	Jul 20, 2021
glucose_BTL.zip		glucose_BTL.zip	added solvers	Jul 20, 2021
optsat.zip		optsat.zip	added solvers	Jul 20, 2021
smallsat.zip		smallsat.zip	added solvers	Jul 20, 2021
View all files