2020年4月8日
附加了solve2_()函数的minisat---smallsat求解器
摘要： smallsat的开发团队主要成员是东华大学的陈老师： Jingchao ChenSchool of Informatics, Donghua University2999 North Renmin Road, Songjiang District, Shanghai 201620, P. R. C 阅读全文
posted @ 2020-04-08 13:16 海阔凭鱼跃越 阅读(326) 评论(0) 推荐(0) 编辑