纯python约束满足解算器
constrainingorder的Python项目详细描述
约束顺序是一个用于解决约束满足问题的纯python库。特别是它包含一个表示相当一般实数集的区间集的实现。
约束顺序既不是很强大,也不是很有性能,对于
严重的问题有更强大的解决方案:
*`gecode<;http://www.gecode.org>;`(看起来很棒,文档也很好)
*`或tools<;https://code.google.com/p/或tools/>;``u
*`choco<;http://www.choco-solver.org/>;`
但不可接受的是,为此引入大量依赖项
。
https://constrainting order.readthedocs.org/en/latest/
e.《约束满足基础》学术出版社,1996年,
因为它还没有被应用到软件项目中,而且只要你不去想它,它甚至是有意义的。
约束顺序既不是很强大,也不是很有性能,对于
严重的问题有更强大的解决方案:
*`gecode<;http://www.gecode.org>;`(看起来很棒,文档也很好)
*`或tools<;https://code.google.com/p/或tools/>;``u
*`choco<;http://www.choco-solver.org/>;`
但不可接受的是,为此引入大量依赖项
。
https://constrainting order.readthedocs.org/en/latest/
e.《约束满足基础》学术出版社,1996年,
因为它还没有被应用到软件项目中,而且只要你不去想它,它甚至是有意义的。