c3:用C编写的C3，SMTSAT求解器

C3 用C编写的C3，SMT求解器。当前WIP项目... 用法（SAT解算器） C3支持DIMACS文件格式作为SAT求解器的输入。 $ ./c3 -D < DIMACS> 您也可以通过以下命令解决Sudoku 。 $ ./test/sudoku/gen_cnf.sh 用法（SMT求解器） C3还支持SMT-LIB2文件格式作为SMT求解器的输入。 $ ./c3 -S < SMT> 测试 您可以尝试随机测试。 所有表达式都是随机生成的。 $ make test