In this paper, we present the integration of MiniZinc into ASP Chef, expanding its capabilities to include constraint programming alongside Answer Set Programming (ASP). By leveraging the web assembly version of MiniZinc, this integration allows for running MiniZinc models directly in the browser, eliminating the need for additional software installations. This browser-based approach is particularly advantageous for educational settings and rapid prototyping, offering a seamless and accessible environment for learners and practitioners. To facilitate the incorporation of MiniZinc in ASP recipes, we have implemented a mapping mechanism that converts facts to MiniZinc data and vice versa. This integration not only broadens the scope of problems that can be addressed using ASP Chef but also simplifies the workflow for users, making it a versatile tool for complex computational tasks.

Integrating MiniZinc with ASP Chef: Browser-Based Constraint Programming for Education and Prototyping

Alviano M.;Rodriguez Reiners L. A.
2024-01-01

Abstract

In this paper, we present the integration of MiniZinc into ASP Chef, expanding its capabilities to include constraint programming alongside Answer Set Programming (ASP). By leveraging the web assembly version of MiniZinc, this integration allows for running MiniZinc models directly in the browser, eliminating the need for additional software installations. This browser-based approach is particularly advantageous for educational settings and rapid prototyping, offering a seamless and accessible environment for learners and practitioners. To facilitate the incorporation of MiniZinc in ASP recipes, we have implemented a mapping mechanism that converts facts to MiniZinc data and vice versa. This integration not only broadens the scope of problems that can be addressed using ASP Chef but also simplifies the workflow for users, making it a versatile tool for complex computational tasks.
2024
9783031742088
9783031742095
Answer Set Programming
Constraint Programming
system description
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.11770/376938
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact