MiniCP: a lightweight solver for constraint programming

Laurent Michel;Schaus, Pierre;Pascal Van Hentenryck
(2021) Mathematical Programming Computation — Vol. 13, n° 1, p. 133-184 (2021)

Files

mini-cp.pdf
  • Open Access
  • Adobe PDF
  • 880.85 KB
Download

Details

Authors
  • Laurent MichelUniversity of Connecticut
    Author
  • Schaus, Pierreorcid-logoUCLouvain
    Author
  • Pascal Van HentenryckGeorgia Institute of Technology, Atlanta
    Author
Abstract
This paper introduces MiniCP, a lightweight, open-source solver for constraint pro- gramming. MiniCP is motivated by educational purposes and, in particular, the desire to provide the core implementation of a constraint-programming solver for students in computer science and industrial engineering. The design of MiniCP provides a one-to-one mapping between the the- oretical and implementation concepts and its compositional abstractions favor extensibility and flexibility. MiniCP obviously does not support all available constraint-programming features and implementation techniques, but these could be implemented as future extensions or exploratory projects. MiniCP also comes with a full set of exercises, unit tests, and development projects.
Affiliations

Citations

  • APA
  • Chicago
  • FWB

Laurent Michel, Schaus, P., & Pascal Van Hentenryck. (2021). MiniCP: a lightweight solver for constraint programming. Mathematical Programming Computation, 13(1), 133-184. https://doi.org/10.1007/s12532-020-00190-7 (Original work published 2021)