概述
CSPLib是一个用于约束求解器的测试问题库。图书馆包括：
CSPLib还维护了一个列表约束语言以及可以用来解决这些语言中的问题的工具。
CSPLib的主要动机是将研究重点从纯粹的随机问题转向更结构化的问题。
目前16个问题中有95个类别由73人提议作者.
请向我们的CSPLib提交任何更新或更正git存储库，或者作为新发行的，或拉入请求.
CSPLib当前的主编和维护者是克里斯·杰斐逊和奥兹古尔·阿库恩.
我们感谢CSPLib的前几位编辑：Ian Miguel、Brahim Hnich、Ian Gent和Toby Walsh，以及包括Bilal Syed Hussain在内的网站维护人员，以及自1999年创建以来对该网站的所有贡献者。
更新
