GitHub - msoos/sat_competition_2013_sources: SAT Competition 2013 Source Archives

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
1-glucose2-GillesAudemardandLaurentSimon.zip		1-glucose2-GillesAudemardandLaurentSimon.zip
10-march_br-MarijnHeule.zip		10-march_br-MarijnHeule.zip
100-SAT4JParallel-DanielLeBerre.zip		100-SAT4JParallel-DanielLeBerre.zip
101-SAT4JCertified-DanielLeBerre.zip		101-SAT4JCertified-DanielLeBerre.zip
104-gNovelty+GCa-Thach-ThaoDuong_and_DucNghiaPham.zip		104-gNovelty+GCa-Thach-ThaoDuong_and_DucNghiaPham.zip
105-gNovelty+GCwa-Thach-ThaoDuong_and_DucNghiaPham.zip		105-gNovelty+GCwa-Thach-ThaoDuong_and_DucNghiaPham.zip
106-DimetheusMPS-OliverGableske.zip		106-DimetheusMPS-OliverGableske.zip
108-forl-MateSoos.zip		108-forl-MateSoos.zip
110-pcasso-AhmedIrfan_and_DavideLanti_and_NorbertManthey.zip		110-pcasso-AhmedIrfan_and_DavideLanti_and_NorbertManthey.zip
111-Riss3g-NorbertManthey.zip		111-Riss3g-NorbertManthey.zip
113-satUZK-AlexandervanderGrinten_and_AndreasWotzlaw_and_EwaldSpeckemeyer.zip		113-satUZK-AlexandervanderGrinten_and_AndreasWotzlaw_and_EwaldSpeckemeyer.zip
115-gluH_simp-ChanseokOh.zip		115-gluH_simp-ChanseokOh.zip
121-BreakIDGlucose-JoDevriendt_and_BartBogaerts.zip		121-BreakIDGlucose-JoDevriendt_and_BartBogaerts.zip
122-ShatterGlucose-JoDevriendt_and_BartBogaerts.zip		122-ShatterGlucose-JoDevriendt_and_BartBogaerts.zip
123-Lingeling-ArminBiere.zip		123-Lingeling-ArminBiere.zip
124-Lingeling-ArminBiere.zip		124-Lingeling-ArminBiere.zip
126-Plingeling-ArminBiere.zip		126-Plingeling-ArminBiere.zip
128-Treengeling-ArminBiere.zip		128-Treengeling-ArminBiere.zip
129-Lingeling-ArminBiere.zip		129-Lingeling-ArminBiere.zip
130-pmcSAT-RicardoMarques_and_LuísGuerraeSilva_and_PauloFloresandLuísMiguelSilveira.zip		130-pmcSAT-RicardoMarques_and_LuísGuerraeSilva_and_PauloFloresandLuísMiguelSilveira.zip
132-CCA2013-ChengqianLi_and_FanYi.zip		132-CCA2013-ChengqianLi_and_FanYi.zip
133-sattime2013-ChuMinLIandYuLI.zip		133-sattime2013-ChuMinLIandYuLI.zip
134-minipure-Hsiao-LunWang.zip		134-minipure-Hsiao-LunWang.zip
135-glucose-GillesAudemardandLaurentSimon.zip		135-glucose-GillesAudemardandLaurentSimon.zip
136-glucose-GillesAudemardandLaurentSimon.zip		136-glucose-GillesAudemardandLaurentSimon.zip
137-pcasso-DavideLanti_and_AhmedIrfan_and_NorbertManthey.zip		137-pcasso-DavideLanti_and_AhmedIrfan_and_NorbertManthey.zip
139-glueminisat-HidetomoNabeshima_and_KojiIwanuma_and_KatsumiInoue.zip		139-glueminisat-HidetomoNabeshima_and_KojiIwanuma_and_KatsumiInoue.zip
14-Sparrow+CP3-AdrianBalint_and_NorbertManthey.zip		14-Sparrow+CP3-AdrianBalint_and_NorbertManthey.zip
140-glueminisat-cert-unsat-HidetomoNabeshima_and_KojiIwanuma_and_KatsumiInoue.zip		140-glueminisat-cert-unsat-HidetomoNabeshima_and_KojiIwanuma_and_KatsumiInoue.zip
141-BalancedZ-ChongHUANG.zip		141-BalancedZ-ChongHUANG.zip
142-Riss3g-NorbertManthey.zip		142-Riss3g-NorbertManthey.zip
143-sattimeRelbackSeq-ChuMinLIandHuaJiangandDjamalHabet.zip		143-sattimeRelbackSeq-ChuMinLIandHuaJiangandDjamalHabet.zip
144-sattimeClasp-Jianghua_and_chuminli_and_XuRuchu.zip		144-sattimeClasp-Jianghua_and_chuminli_and_XuRuchu.zip
145-minisatDRUP-NiklasEénandNiklasSörensson.zip		145-minisatDRUP-NiklasEénandNiklasSörensson.zip
146-sattimeRelbackShr-Jianghua_and_chuminli_and_DjamalHabet.zip		146-sattimeRelbackShr-Jianghua_and_chuminli_and_DjamalHabet.zip
147-MiniGolf-NorbertManthey.zip		147-MiniGolf-NorbertManthey.zip
148-Ncca+-DjamalHabetandDoniaToumiandAndréAbramé.zip		148-Ncca+-DjamalHabetandDoniaToumiandAndréAbramé.zip
149-RSeq-DjamalHabetandChuMinLiandJiangHua.zip		149-RSeq-DjamalHabetandChuMinLiandJiangHua.zip
15-SparrowToRiss-AdrianBalint_and_NorbertManthey.zip		15-SparrowToRiss-AdrianBalint_and_NorbertManthey.zip
150-Riss3g-NorbertManthey.zip		150-Riss3g-NorbertManthey.zip
151-BalancedZfixed.zip		151-BalancedZfixed.zip
152-CCA2013fixed.zip		152-CCA2013fixed.zip
18-probSAT-AdrianBalint_and_UweSchöning.zip		18-probSAT-AdrianBalint_and_UweSchöning.zip
19-dk-SAT11-DonaldKnuth.zip		19-dk-SAT11-DonaldKnuth.zip
2-Lingeling-ArminBiere.zip		2-Lingeling-ArminBiere.zip
20-dk-SAT11-DonaldKnuth.zip		20-dk-SAT11-DonaldKnuth.zip
21-march_br-MarijnHeule.zip		21-march_br-MarijnHeule.zip
22-WalkSATlm2013-ShaoweiCai.zip		22-WalkSATlm2013-ShaoweiCai.zip
23-CScoreSAT2013-ShaoweiCai_and_ChuanLuo_and_KaileSu.zip		23-CScoreSAT2013-ShaoweiCai_and_ChuanLuo_and_KaileSu.zip
24-CCAnr-ShaoweiCai_and_KaileSu.zip		24-CCAnr-ShaoweiCai_and_KaileSu.zip
25-march_vflip-JingchaoChen.zip		25-march_vflip-JingchaoChen.zip
26-vflipnum-JingchaoChenandYuyangHuang.zip		26-vflipnum-JingchaoChenandYuyangHuang.zip
27-glue_bit-JingchaoChen.zip		27-glue_bit-JingchaoChen.zip
28-minisat_bit-JingchaoChen.zip		28-minisat_bit-JingchaoChen.zip
29-gluebit_lgl-JingchaoChen.zip		29-gluebit_lgl-JingchaoChen.zip
3-sattime2012-ChuMinLI&YuLI.zip		3-sattime2012-ChuMinLI&YuLI.zip
30-gluebit_clasp-JingchaoChen.zip		30-gluebit_clasp-JingchaoChen.zip
31-clasp_vflip-JingchaoChen.zip		31-clasp_vflip-JingchaoChen.zip
32-interact_open-JingchaoChen.zip		32-interact_open-JingchaoChen.zip
33-FrwCB2013-ChuanLuoandKaileSu.zip		33-FrwCB2013-ChuanLuoandKaileSu.zip
34-GlucoRed-SiertWieringa.zip		34-GlucoRed-SiertWieringa.zip
35-GlucoRed-Multi-SiertWieringa.zip		35-GlucoRed-Multi-SiertWieringa.zip
36-GlucoRed+March-SiertWieringa.zip		36-GlucoRed+March-SiertWieringa.zip
38-Nigma-ChuanJiang_and_TingZhang.zip		38-Nigma-ChuanJiang_and_TingZhang.zip
4-clasp-crafted-BenjaminKaufmann.zip		4-clasp-crafted-BenjaminKaufmann.zip
5-ZENN-TAKERUYASUMOTO.zip		5-ZENN-TAKERUYASUMOTO.zip
52-Nigma-DRUP-ChuanJiang_and_TingZhang.zip		52-Nigma-DRUP-ChuanJiang_and_TingZhang.zip
53-Nigma-NoPB-ChuanJiang_and_TingZhang.zip		53-Nigma-NoPB-ChuanJiang_and_TingZhang.zip
54-Nigma-NoPB-DRUP-ChuanJiang_and_TingZhang.zip		54-Nigma-NoPB-DRUP-ChuanJiang_and_TingZhang.zip
6-simpsat-Cheng-ShenHanandJie-HongR.Jiang.zip		6-simpsat-Cheng-ShenHanandJie-HongR.Jiang.zip
67-PeneLoPe-GillesAudemard_and_BenoîtHoessen_and_SaïdJabbour_and_Jean-MarieLagniez_and_CédricPiette.zip		67-PeneLoPe-GillesAudemard_and_BenoîtHoessen_and_SaïdJabbour_and_Jean-MarieLagniez_and_CédricPiette.zip
68-Solver43a-ValeriyBalabanov.zip		68-Solver43a-ValeriyBalabanov.zip
69-Glucans-XiaojuanXu_and_YuichiShimizu_and_ShotaMatsumotoandKazunoriUeda.zip		69-Glucans-XiaojuanXu_and_YuichiShimizu_and_ShotaMatsumotoandKazunoriUeda.zip
7-linge_dyphase-JingchaoChen.zip		7-linge_dyphase-JingchaoChen.zip
70-DougHains-DougHains_and_DarrellWhitley_and_AdeleHowe.zip		70-DougHains-DougHains_and_DarrellWhitley_and_AdeleHowe.zip
71-minisat_bit_u-JingchaoChen.zip		71-minisat_bit_u-JingchaoChen.zip
73-Solver43b-ValeriyBalabanov.zip		73-Solver43b-ValeriyBalabanov.zip
74-forl-MateSoos.zip		74-forl-MateSoos.zip
75-forl-MateSoos.zip		75-forl-MateSoos.zip
76-strangenight-MateSoos.zip		76-strangenight-MateSoos.zip
77-strangenight-MateSoos.zip		77-strangenight-MateSoos.zip
78-MiniGolf-NorbertManthey.zip		78-MiniGolf-NorbertManthey.zip
79-relback-DjamalHabetandChuMinLi.zip		79-relback-DjamalHabetandChuMinLi.zip
80-gluH-ChanseokOh.zip		80-gluH-ChanseokOh.zip
81-SINNminisat-TakeruYasumoto.zip		81-SINNminisat-TakeruYasumoto.zip
82-ZENN-TakeruYasumoto.zip		82-ZENN-TakeruYasumoto.zip
83-MIPSat-SergioNúñez_and_DanielBorrajoandCarlosLinaresLópez.zip		83-MIPSat-SergioNúñez_and_DanielBorrajoandCarlosLinaresLópez.zip
84-MIPSat-SergioNúñez_and_DanielBorrajoandCarlosLinaresLópez.zip		84-MIPSat-SergioNúñez_and_DanielBorrajoandCarlosLinaresLópez.zip
85-MIPSat-SergioNúñez_and_DanielBorrajoandCarlosLinaresLópez.zip		85-MIPSat-SergioNúñez_and_DanielBorrajoandCarlosLinaresLópez.zip
86-MIPSat-SergioNúñez_and_DanielBorrajoandCarlosLinaresLópez.zip		86-MIPSat-SergioNúñez_and_DanielBorrajoandCarlosLinaresLópez.zip
87-MIPSat-SergioNúñez_and_DanielBorrajoandCarlosLinaresLópez.zip		87-MIPSat-SergioNúñez_and_DanielBorrajoandCarlosLinaresLópez.zip
88-MIPSat-SergioNúñez_and_DanielBorrajoandCarlosLinaresLópez.zip		88-MIPSat-SergioNúñez_and_DanielBorrajoandCarlosLinaresLópez.zip
89-MIPSat-SergioNúñez_and_DanielBorrajoandCarlosLinaresLópez.zip		89-MIPSat-SergioNúñez_and_DanielBorrajoandCarlosLinaresLópez.zip
9-picosat-ArminBiere.zip		9-picosat-ArminBiere.zip
90-MIPSat-SergioNúñez_and_DanielBorrajoandCarlosLinaresLópez.zip		90-MIPSat-SergioNúñez_and_DanielBorrajoandCarlosLinaresLópez.zip
91-MIPSat-SergioNúñez_and_DanielBorrajoandCarlosLinaresLópez.zip		91-MIPSat-SergioNúñez_and_DanielBorrajoandCarlosLinaresLópez.zip
92-SatX10-GLCI-DavidGrove_and_BenjaminHerta_and_AshishSabharwal_and_HorstSamulowitz_and_VijaySaraswat_and_GeorgeKatsirelos_and_LaurentSimon.zip		92-SatX10-GLCI-DavidGrove_and_BenjaminHerta_and_AshishSabharwal_and_HorstSamulowitz_and_VijaySaraswat_and_GeorgeKatsirelos_and_LaurentSimon.zip
95-SAT4J-DanielLeBerre.zip		95-SAT4J-DanielLeBerre.zip

msoos/sat_competition_2013_sources

Folders and files

Latest commit

History

About

Topics

Stars

Watchers

Forks

Releases

Packages 0

Packages