@software{anonymous_2021_4777703, author = {Anonymous}, title = {{Certified SuSLik (ICFP 2021 Artifact): Code and Benchmarks}}, month = may, year = 2021, publisher = {Zenodo}, version = {0.1.1}, doi = {10.5281/zenodo.4777703}, url = {https://doi.org/10.5281/zenodo.4777703} }