[arith] 语法准备
[arith] simplex算法初步实现（无分支限界、无证明项、t5不通过）
[1/*] 淘汰位向量。SAT工作正常，理论暂时移除。
修复longjmp时asgn可能未初始化
[2/*] equal转换完成
[3/3] ull转换完成
修复simplex小问题，补充几个例子（都还不能过）
[arith] 初步实现了sat时“推出”结论。（代码很丑）
[equal] 按照arith模式重新组织代码
[equal][arith] 基本准备好对接
[equal][arith] 基本对接，所有正确的例子通过
[arith] purify问题导致证错
[arith] xi=bi时忘记保存上下文
[arith] [equal] 希望不要再出问题了
规范证明
[arith] 重排
[arith] 支持对非整可行解进行处理
[no_proof] [1] 建树（内存先泄漏着）
修复多处错乱
[arith] 脑残