// 3. Save the copies
func process(c chan task) {
，更多细节参见Line官方版本下载
create code from natural language descriptions of software tasks. The system is
For UNSAT problems with 10 variables and 200 clauses, it always claimed that the formula is SAT and made up assignments (See this example).