文件名称：AdventOfCode-2020：Crystal 2020代码问世的解决方案
文件大小：25KB
文件格式：ZIP
更新时间：2024-03-06 17:00:23
Crystal
Code 2020解决方案的问世 这是我自2017年以来的第一个50星年！ 我们的目标是至少在今年达到一次进入前100名的目标，并最终在第22天实现这一目标（在第2部分的第25天再次实现，但这几乎不算什么）。 老实说，我对自己一点也不满意。 解决方案的种类 我在“竞赛”，但也在尝试了正式验证，并尝试了一种名为的APL方言来娱乐。 我并非总是清理我的比赛日解决方案，尤其是那些“艰难”时期的解决方案。 我将在上写我的Coq解决方案。 排名 这是我的时代（颇为尴尬）。 -------Part 1-------- -------Part 2-------- Day Time Rank Score Time Rank Score 25 00:07:18 105 0 00:07:24 94 7 24 00:2
【文件预览】：
AdventOfCode-2020-master
----day2.ijs(196B)
----template.cr(155B)
----day5.cr(836B)
----day2.cr(765B)
----day1.cr(623B)
----day3.cr(491B)
----day1.ijs(131B)
----day12.cr(1KB)
----day5g.cr(121B)
----day14.cr(1KB)
----day4.cr(554B)
----day8.cr(426B)
----day17.cr(996B)
----day7.cr(863B)
----day19.cr(1KB)
----day9.cr(636B)
----day3.ijs(199B)
----day6.cr(211B)
----day22.cr(1KB)
----day10.cr(828B)
----day15.cr(382B)
----day13.cr(662B)
----README.md(3KB)
----day25.cr(413B)
----day16.cr(2KB)
----day20.cr(4KB)
----input.sh(94B)
----shard.yml(192B)
----day5.ijs(194B)
----day24.cr(1KB)
----passports.cr(2KB)
----console.cr(619B)
----day1.v(5KB)
----day18.cr(983B)
----day23.cr(2KB)
----day21.cr(964B)
----day11.cr(1KB)
----day8.v(10KB)