AdventOfCode 2020:Crystal 2020代码问世的解决方案 源码

Code 2020解决方案的问世 这是我自2017年以来的第一个50星年! 我们的目标是至少在今年达到一次进入前100名的目标,并最终在第22天实现这一目标(在第2部分的第25天再次实现,但这几乎不算什么)。 老实说,我对自己一点也不满意。 解决方案的种类 我在“竞赛”,但也在尝试了正式验证,并尝试了一种名为的APL方言来娱乐。 我并非总是清理我的比赛日解决方案,尤其是那些“艰难”时期的解决方案。 我将在上写我的Coq解决方案。 排名 这是我的时代(颇为尴尬)。 -------Part 1-------- -------Part 2-------- Day Time