REA1 / karp Public

a language for NP reductions

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 17 Commits
example		example
lib		lib
private		private
problem-definition/lang		problem-definition/lang
reduction/lang		reduction/lang
scribblings		scribblings
tests		tests
.gitignore		.gitignore
README.md		README.md
info.rkt		info.rkt
problem-definition.rkt		problem-definition.rkt
reduction-base.rkt		reduction-base.rkt
reduction.rkt		reduction.rkt