The solver asp-fzn was developed as a prototype for the ICLP 2025 publication ASP-FZN: A Translation-based Constraint Answer-Set Solver.

The source code can be found on the TU Wien Gitlab.

Pre-compiled binaries for most platforms can be downloaded on the Releases page.

Python bindings are available on PyPi.

Furthermore, please note the following legal disclaimer:

This software is a research prototype only. It has not been tested for the use in or for products and/or services (in particular in any safety-relevant areas). It was solely published as part of the publication “ASP-FZN: A Translation-based Constraint Answer Set Solver“ and will neither be maintained nor monitored.