完善README.md
完善README.md
完善README.md
完善README.md
完善README.md
完善README.md
修复Formula::setFormula的潜在bug
修改了前束范式的一些代码
前束范式的重构
前束范式的重构
构造函数的修改
前束范式的注释
章衡部分的文档
章衡部分的文档
Cabalar注释
Rule部分的优化
README.md修改
Merge pull request #12 from yzf/alpha

OK