Dominion -- A constraint solver generator

TL;DR

This paper introduces Dominion, a system that automatically generates specialized constraint solvers tailored to specific problem models, demonstrating promising initial results.

Contribution

It presents a novel design for a constraint solver generator that customizes solvers for particular problem models, enhancing efficiency.

Findings

Preliminary experiments show feasibility.

Generated solvers are effective for targeted models.

Design approach is promising for future development.

Abstract

This paper proposes a design for a system to generate constraint solvers that are specialised for specific problem models. It describes the design in detail and gives preliminary experimental results showing the feasibility and effectiveness of the approach.