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 will be made available soon.