Path	Lines of Code
CONTRIBUTING.md	27
README.md	51
doc/repository-spec-v2.md	328
doc/solver.md	971