CFLP公司

CFLP:分布式约束求解系统的mathematica实现。人们普遍认识到需要组合并使各种约束求解器协同工作。这样一个集成的系统将允许解决单个解算器无法解决的问题。CFLP(Constraint Functional Logic Programming System)是一个分布式软件系统,由运行在一台机器上的功能逻辑编程解释器和运行在另一台机器上的多个约束求解引擎组成。CFLP系统完全用Mathematica编写,并使用MathLink协议进行进程间通信。当前的实现可以解决函数逻辑中可表达的问题,并涉及约束,如线性、多项式、微分方程组和具有可逆函数的方程组。