章衡转化前，公式应该先fix后prenex
章衡转化前，公式应该先fix后prenex
修改了构造函数，isCopy设置默认值为true
修改了加非非的操作，以及fix量词中漏考虑函词的bug
S2DLP改名为SMTranslator
m_vDomainNames 该为static  ms_vDomainNames
改了些接口
添加了shell脚本进行批量运行
添加了shell脚本进行批量运行
添加了shell脚本进行批量运行
添加了shell脚本进行批量运行
Circ
Circ稳定版本
Circ稳定版本
Circ稳定版本
Circ稳定版本
Circ稳定版本
Circ稳定版本