Example Encodings

[GregGelfond]

Just a minor note, but if there's some interest here are three examples (N-Queens, Einstein's Riddle, and a Zoo Puzzle) that can be added to the repository.

n-queens.txt
einsteins-riddle.txt
zoo-puzzle.txt

[simocaruso]

Thank you!