【文件属性】：
文件名称：Answer Set Solver Comparision Tool-开源
文件大小：423KB
文件格式：GZ
更新时间：2021-04-28 06:47:44
开源软件
用于将答案集求解器与另一个（参考）求解器进行比较的工具。
【文件预览】：
cass-0.2
----Makefile.dist(449B)
----cass()
--------test_compare.cpp(2KB)
--------ccompareanswersets.h(4KB)
--------Makefile.am(547B)
--------main.cpp(3KB)
--------ccompareanswersets.cpp(5KB)
--------Makefile.in(15KB)
--------test.lp(30B)
----cass.lsm(374B)
----admin()
--------config.guess(38KB)
--------mkinstalldirs(736B)
--------ylwrap(4KB)
--------debianrules(5KB)
--------config.sub(28KB)
--------ltcf-cxx.sh(37KB)
--------configure.in.min(2KB)
--------am_edit(67KB)
--------old-ltmain.sh(150KB)
--------old-ltconfig(83KB)
--------Makefile.common(14KB)
--------install-sh(5KB)
--------new-ltmain.sh(150KB)
--------ltconfig(83KB)
--------config.pl(7KB)
--------missing(9KB)
--------old-ltcf-gcj.sh(26KB)
--------depcomp(12KB)
--------new-libtool.m4.in(29KB)
--------ltcf-c.sh(31KB)
--------CVS()
--------old-libtool.m4.in(29KB)
--------ltcf-gcj.sh(26KB)
--------acinclude.m4.in(125KB)
--------conf.change.pl(5KB)
--------ltmain.sh(150KB)
--------ChangeLog(22KB)
--------libtool.m4.in(29KB)
--------old-ltcf-cxx.sh(37KB)
--------old-ltcf-c.sh(31KB)
----AUTHORS(46B)
----COPYING(18KB)
----aclocal.m4(159KB)
----subdirs(5B)
----INSTALL(7KB)
----cass.kdevses(223B)
----configure.files(16B)
----Makefile.am(1KB)
----cass.kdevprj(2KB)
----configure(135KB)
----config.h.in(246B)
----stamp-h.in(0B)
----acinclude.m4(154KB)
----TODO(1B)
----Makefile.in(16KB)
----README(1B)
----configure.in(3KB)
----cass.doxygen(8KB)
----ChangeLog(0B)
----configure.in.in(3KB)