文件名称：research.js:通过将其编译为 JavaScript 来在线分享您的研究！
文件大小：48KB
文件格式：ZIP
更新时间：2024-07-30 02:26:31
Shell
研究.js 通过将其编译为 JavaScript 来在线分享您的研究！ 我们将使用这个存储库来托管信息和脚本，以帮助研究人员将他们的研究项目移植到 JavaScript。 请注意，Emscripten 更改相当频繁，因此这些脚本可能无法完美运行； 它们仅用作如何使用 Emscripten 编译项目的示例。 提供简短的文章和演示。
【文件预览】：
research.js-master
----lingeling()
--------test.js(486B)
--------patches()
--------README(806B)
--------build.sh(849B)
--------COPYING(2KB)
----boolector()
--------test.js(11KB)
--------patches()
--------README(1KB)
--------build.sh(2KB)
--------COPYING(34KB)
----.gitignore(2B)
----hugs()
--------hugs.html(5KB)
--------License(2KB)
--------patches()
--------README(786B)
--------build.sh(1KB)
----README.md(469B)
----minisat()
--------test.js(492B)
--------patches()
--------LICENSE(1KB)
--------README(1KB)
--------build.sh(618B)
----incomplete()
--------llvm-clang()
--------z3()