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

It can be installed with Homebrew:

  brew install tu-wien-kbs/tap/asp-fzn

Python bindings are available on PyPi and can be installed with pip:

  pip install asp-fzn

The source code, pre-compiled binaries and further installation and usage instructions can be found on the TU Wien Gitlab.

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.

Robert Bosch GmbH is acknowledged for financial support.