Name		Name	Last commit message	Last commit date
Latest commit History 527 Commits
2015		2015
2016		2016
2017		2017
2018		2018
2019		2019
2020		2020
2021		2021
2022		2022
2023		2023
nix/swi-prolog		nix/swi-prolog
.dir-locals.el		.dir-locals.el
.envrc		.envrc
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
check		check
check-inner		check-inner
download-answers		download-answers
download-inputs		download-inputs
run		run
shell		shell