Solution Gallery

This page features solutions developed by participants during and after the competition. Solutions may be updated as time goes on. The date indicates last modification of the uploaded files or the link and can be approximate.
ċ
gnatprove_final.tar.gz
(4k)
Vladimir Klebanov,
Feb 15, 2013, 10:03 AM
ċ
verifythis2012_team_verifast.zip
(12k)
Vladimir Klebanov,
Feb 15, 2013, 10:08 AM
Comments