Skip to content

msoos/sat_competition_2013_sources

BranchesTags

Folders and files

NameName
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
 
 

About

SAT Competition 2013 Source Archives

Topics

smt formal-verification sat cdcl
Activity

Stars

3 stars

Watchers

2 watching

Forks

1 fork
Report repository

Releases

No releases published

Packages

No packages published