.png){kind=icon}
返回
MiniCP: a lightweight solver for constraint programming
.png){kind=icon}
PRE
AI
DOI：10.1007/s12532-020-00190-7.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
This paper introduces MiniCP, a lightweight, open-source solver for constraint programming. MiniCP is 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 of MiniCP provides a one-to-one mapping between the theoretical 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.
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
3.6
论文数:
200
被引数:
1.9K
机构
引用论文
Model-Free Tracking Control with Prescribed Performance for a Shape Memory Alloy-Based Robotic Hand基于形状记忆合金的机器人手具有规定性能的无模型跟踪控制
OAAI
.png){kind=icon}
OAAI分享收藏Single-beam low-frequency loss modulation technique for two-photon absorption measurement单光束低频损耗调制技术用于双光子吸收测量
PREAI
分享收藏分享收藏
Femtosecond Extreme Ultraviolet Spectroscopy of an Iridium Photocatalyst Reveals Oxidation State and Ligand Field Specific Dynamics飞秒极紫外光谱研究揭示了铱光催化剂的氧化态和配体场特异性动力学
PREAI
分享收藏
查看更多内容