asp-tools

A set of Clojure code to support Answer Set Programming (ASP).

For an introduction refer to https://en.wikipedia.org/wiki/Answer_set_programming

Usage

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