Name		Name	Last commit message	Last commit date
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

Repository files navigation

karp

a language for NP reductions

About

a language for NP reductions

7 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages