Galliwasp:目标导向的答案集编程-开源
19 浏览量
2021-04-26
08:28:08
上传
评论
收藏 203KB GZ 举报
galliwasp-1.3.5.tar.gz （64个子文件） 
galliwasp-1.3.5 
Makefile.old 769B config.h 723B config.h.in 539B aclocal.m4 34KB CHANGES 13KB Makefile.am 121B README 9KB interpreter preprocess.c 7KB design_conventions.md 3KB main.c 23KB chs.c 11KB galliwasp.md 1KB perf.c 4KB include input.h 2KB chs.h 4KB execute.h 3KB stacks.h 11KB dynarray.h 5KB options.h 10KB perf.h 3KB program.h 8KB interface.h 6KB globals.h 6KB preprocess.h 2KB Doxyfile 81KB program.c 6KB globals.c 2KB Makefile 1KB dynarray.c 3KB execute.c 15KB interface.c 25KB input.c 26KB stacks.c 26KB compiled_program_format.md 4KB Makefile.in 23KB INSTALL 123B missing 11KB install-sh 13KB configure 136KB compiler call_graph.pl 7KB order.pl 9KB tokenizer.pl 10KB factorize.pl 20KB nmr_check.pl 18KB main.pl 11KB common.pl 13KB extended_asp.pl 30KB smodels_dcg.pl 17KB text_dcg.pl 15KB text_output.pl 8KB comp_duals.pl 8KB README 3KB data_structs.pl 7KB transform.pl 33KB output.pl 9KB expand.pl 19KB common_dcg.pl 9KB doc_gen.pl 584B index.pl 20KB Makefile 505B config.pl 3KB io.pl 9KB COPYING 18KB configure.ac 246B资源评论
