comptheory: Post Correspondence Problem