A microkernel architecture for constraint programming
L Michel, P Van Hentenryck - Constraints, 2017 - Springer
Constraints, 2017•Springer
This paper presents a microkernel architecture for constraint programming organized
around a small number of core functionalities and minimal interfaces. The architecture
contrasts with the monolithic nature of many implementations. With this design, variables,
domains and constraints all remain external to the microkernel which isolates the
propagation logic and event protocols from the modeling constructions. The Objective-CP
search blends the control primitives of the host language with search combinators in a …
around a small number of core functionalities and minimal interfaces. The architecture
contrasts with the monolithic nature of many implementations. With this design, variables,
domains and constraints all remain external to the microkernel which isolates the
propagation logic and event protocols from the modeling constructions. The Objective-CP
search blends the control primitives of the host language with search combinators in a …
Abstract
This paper presents a microkernel architecture for constraint programming organized around a small number of core functionalities and minimal interfaces. The architecture contrasts with the monolithic nature of many implementations. With this design, variables, domains and constraints all remain external to the microkernel which isolates the propagation logic and event protocols from the modeling constructions. The Objective-CP search blends the control primitives of the host language with search combinators in a completely transparent and fully compositional way, delivering a natural search procedure in which one can use native constructions and tools such as debuggers. Empirical results indicate that the software engineering benefits are not incompatible with runtime efficiency.
Springer
Showing the best result for this search. See all results