日蚀接口
PyCL的Python项目详细描述
PyCLP 是一个python库,用于接口eclipse约束programmig系统。
此模块尝试实现到ECLiPSe的pythonic接口。 (别名易于使用)在性能上稍有妥协
与eclipse标准接口库的主要区别
与eclipse系统提供的嵌入式接口相比,主要区别在于 调用pyclp.resume后构造项的持久性(检查 3.1.2 Building ECLiPSe terms)函数。 在eclipse标准接口中,复合术语在resume之后被销毁,而在pyclp中 存储在恢复后仍然存在的引用中只有当python 销毁链接的python对象(垃圾回收)。这会消耗更多的内存,但是现在 python对象和相关的ECLiPSe对象具有相同的lifetime
此外,在api的定义中,我试图利用python和 eclipse:两者都是弱类型语言。
下一步
- Extend functionality of set_option function