research.js:通过将其编译为 JavaScript 来在线分享您的研究！
需积分: 9 21 浏览量
2021-07-10
08:39:51
上传
评论
收藏 48KB ZIP 举报
research_js-master.zip （37个子文件） 
research.js-master lingeling 
test.js 486B patches fix-build.patch 295B parse-string.patch 2KB README 806B build.sh 849B COPYING 2KB boolector test.js 11KB patches fix-implicit-error.patch 405B fix-minisat-link.patch 261B parse-string.patch 7KB README 1KB build.sh 2KB COPYING 34KB .gitignore 2B hugs 
hugs.html 5KB License 2KB patches disable-readline.patch 440B README 786B build.sh 1KB README.md 469B minisat test.js 492B patches handle-parse-errors.patch 3KB remove-zlib.patch 2KB fix-build.patch 681B parse-string.patch 3KB LICENSE 1KB README 1KB build.sh 618B incomplete llvm-clang clang-test.html 1KB
LICENSE.TXT 3KB patches fix-build.patch 3KB build.sh 2KB z3 test.js 560B patches fix-build.patch 787B parse-string.patch 2KB build.sh 760B LICENSE.txt 6KB资源评论
