A set of Clojure code to support Answer Set Programming (ASP).
For an introduction refer to https://en.wikipedia.org/wiki/Answer_set_programming
Convert a problem file in DZN format into a file with LP format:
examples/dzn-to-lp/dzn2lp.sh A031 examples/dzn-to-lp/A031.dzn examples/dzn-to-lp/A031.lp.new