CHOCO3 -


BSD
跨平台
Java

软件简介

CHOCO是一个用于约束满足问题(Constraint Satisfaction Problems)和约束规划(Constraint
Programming)的Java库。 它建立在一个可回溯结构的,基于事件的传播机制上。