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 here.

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.