ASP-FZN: A Translation-based Constraint Answer Set Solver
Fuente:
arXiv
Saved in:
| Main Authors: | , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866912587038326784 |
|---|---|
| author | Eiter, Thomas Geibinger, Tobias Kaminski, Tobias Musliu, Nysret Oetsch, Johannes |
| author_facet | Eiter, Thomas Geibinger, Tobias Kaminski, Tobias Musliu, Nysret Oetsch, Johannes |
| contents | We present the solver asp-fzn for Constraint Answer Set Programming (CASP), which extends ASP with linear constraints. Our approach is based on translating CASP programs into the solver-independent FlatZinc language that supports several Constraint Programming and Integer Programming backend solvers. Our solver supports a rich language of linear constraints, including some common global constraints. As for evaluation, we show that asp-fzn is competitive with state-of-the-art ASP solvers on benchmarks taken from past ASP competitions. Furthermore, we evaluate it on several CASP problems from the literature and compare its performance with clingcon, which is a prominent CASP solver that supports most of the asp-fzn language. The performance of asp-fzn is very promising as it is already competitive on plain ASP and even outperforms clingcon on some CASP benchmarks. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2507_22774 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | ASP-FZN: A Translation-based Constraint Answer Set Solver Eiter, Thomas Geibinger, Tobias Kaminski, Tobias Musliu, Nysret Oetsch, Johannes Artificial Intelligence We present the solver asp-fzn for Constraint Answer Set Programming (CASP), which extends ASP with linear constraints. Our approach is based on translating CASP programs into the solver-independent FlatZinc language that supports several Constraint Programming and Integer Programming backend solvers. Our solver supports a rich language of linear constraints, including some common global constraints. As for evaluation, we show that asp-fzn is competitive with state-of-the-art ASP solvers on benchmarks taken from past ASP competitions. Furthermore, we evaluate it on several CASP problems from the literature and compare its performance with clingcon, which is a prominent CASP solver that supports most of the asp-fzn language. The performance of asp-fzn is very promising as it is already competitive on plain ASP and even outperforms clingcon on some CASP benchmarks. |
| title | ASP-FZN: A Translation-based Constraint Answer Set Solver |
| topic | Artificial Intelligence |
| url | https://arxiv.org/abs/2507.22774 |