Closed deosjr closed 4 years ago
Implementation of Einstein's puzzle, or the Zebra puzzle, in minikanren. Serves as a benchmark: clearly we need to optimise our implementation before it is useable.
Also includes MemberO and MapO relations.
Implementation of Einstein's puzzle, or the Zebra puzzle, in minikanren. Serves as a benchmark: clearly we need to optimise our implementation before it is useable.
Also includes MemberO and MapO relations.