MiniCP: a lightweight solver for constraint programming
MiniCP: a lightweight solver for constraint programming
复制标题
DOI：
10.1007/s12532-020-00190-7
复制
发表时间：
2021-02
影响因子：
6.3
通讯作者：
Pascal Van Hentenryck
中科院分区：
文献类型：
--
作者：
Pascal Van Hentenryck
本文介绍了 MiniCP，一种用于约束规划的轻量级开源求解器。MiniCP 的动机是教育目的以及为计算机科学和工业工程专业的学生提供约束规划求解器的核心实现的愿望。 MiniCP 的设计提供了理论和实现概念之间的一对一映射，其组合抽象有利于可扩展性和灵活性。MiniCP 显然不支持所有可用的约束编程功能和实现技术，但这些可以作为未来的扩展或探索性项目来实现。MiniCP 还附带了一整套练习、单元测试和开发项目。
This paper introducesMiniCP, a lightweight, open-source solver for constraint programming.MiniCPis motivated by educational purposes and the desire to provide the core implementation of a constraint-programming solver for students in computer science and industrial engineering. The design ofMiniCPprovides a one-to-one mapping between the theoretical and implementation concepts and its compositional abstractions favor extensibility and flexibility.MiniCPobviously does not support all available constraint-programming features and implementation techniques, but these could be implemented as future extensions or exploratory projects.MiniCPalso comes with a full set of exercises, unit tests, and development projects.