search

dodaro / cnl2asp

A tool for converting CNL sentences to ASP rules.
https://dodaro.github.io/cnl2asp/
Apache License 2.0
1 stars 0 forks source link

Example Encodings #15

Open GregGelfond opened 1 month ago

GregGelfond commented 1 month ago

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 commented 1 month ago

Thank you!