A Microkernel Architecture for Constraint Programming

2014/01/21 by Laurent Michel, Pascal Van Hentenryck, Michel, Laurent +1
Computer Science · #Advanced Software Engineering Methodologies #Artificial Intelligence (cs.AI) #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #Logic, programming, and type systems #Programming Languages (cs.PL) #cs.AI #cs.PL

paper · pdf · doi:10.48550/arxiv.1401.5334

arxiv created 2014/01/21 · openalex publication_date 2014/01/21 · arxiv updated 2014/01/22 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

This paper presents a microkernel architecture for constraint programming organized around a number of small number of core functionalities and minimal interfaces. The architecture contrasts with the monolithic nature of many implementations. Experimental results indicate that the software engineering benefits are not incompatible with runtime efficiency.

Related

• Component Programming and Interoperability in Constraint Solver Design
• Implementing Constraint Handling Rules as a Domain-Specific Language Embedded in Java
• XCSP3-core: A Format for Representing Constraint Satisfaction/Optimization Problems
• Proceedings of CICLOPS-WLPE 2010
• The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming