Dolphin Project-开源

【文件属性】：
文件名称：Dolphin Project-开源
文件大小：102KB
文件格式：GZ
更新时间：2021-04-28 08:08:58
开源软件 “海豚计划”旨在成为一个研究项目，汇集了与开源可满足性求解器工具以及与之相关的工具（例如，边界模型检查器和软件验证程序）相关的工具。

【文件预览】：
dsat-0.1.1
----ylwrap(6KB)
----AUTHORS(236B)
----COPYING(18KB)
----aclocal.m4(31KB)
----INSTALL(9KB)
----src()
--------timemgm.h(1KB)
--------dsat.c(2KB)
--------db.c(14KB)
--------core.c(11KB)
--------cnfllreader.c(2KB)
--------statmgm.c(2KB)
--------cnfreader.h(1KB)
--------db.h(4KB)
--------cnf-parser.y(3KB)
--------clause.h(2KB)
--------parse-info.h(1KB)
--------Makefile.am(1KB)
--------sllist.h(2KB)
--------sllist.c(3KB)
--------program-log.c(1KB)
--------arghandle.h(1KB)
--------program-log.h(912B)
--------cnf-lexer.l(2KB)
--------queue.c(2KB)
--------timemgm.c(3KB)
--------arghandle.c(3KB)
--------system.c(1KB)
--------core.h(1KB)
--------system.h(876B)
--------clause.c(3KB)
--------queue.h(1KB)
--------cnfreader-strtok.c(2KB)
--------Makefile.in(40KB)
--------evector.h(3KB)
--------statmgm.h(1KB)
--------global.h(3KB)
--------evector.c(4KB)
----install-sh(9KB)
----Makefile.am(15B)
----configure(140KB)
----missing(11KB)
----ROADMAP(498B)
----depcomp(16KB)
----config.h.in(750B)
----NEWS(0B)
----compile(4KB)
----Doxyfile(10KB)
----configure.ac(2KB)
----TODO(317B)
----Makefile.in(18KB)
----README(0B)
----ChangeLog(0B)