解释 这是conexp-clj,是用于通用软件工具。 它的主要目的是使非平凡的例子易于计算,但是它可以用于更多的例子。 文献资料 不要为理论烦恼,我想做的事! (又名:教程) (ICFCA 2013) 有关conexp-clj更完整概述 conexp-clj示例用例 进阶主题 历史 该项目是由Daniel Borchmann在Christian Meschke的监督下启动的,这是DFG项目GA 216 / 10-1的一部分。 此后,Daniel Borchmann将其进一步开发为通用FCA工具,直到2017年离开学术界为止。从那时起,Tom Hanika接管了该公司,并且仍然是conexp