ASP-FZN: A Translation-based Constraint Answer Set Solver

Open in new window