2022年3月21日
sat相关的集中文件格式类型说明
摘要： DIMACS File format The benchmark file format will be in a simplified version of the DIMACS format: cc start with commentscc p cnf 5 31 -5 4 0-1 5 3 4 阅读全文
posted @ 2022-03-21 15:21 海阔凭鱼跃越 阅读(88) 评论(0) 推荐(0) 编辑