ClaferIG 0.3.1下载地址

为创造可行的Clafer模型的工具。

Clafer实例生成器是一个工具，可以生成的任何Clafer模型的实例和反例。该发生器能够产生的多个实例，这使得它可用于调试模型。

此应用程序，旨在帮助您编写正确的Clafer模式，同时避免包含在模型中的神器出山:www.shenqi73.com约束条件之间的相互作用。