文件名称：MI-RUN:MI-RUN 的学期作业
文件大小：6.89MB
文件格式：ZIP
更新时间：2024-06-26 13:52:08
Java
米润 学期工作从主题 MI-RUN 开始，在 FIT CTU 教授。 该作品的作者是 Filip Vondrášek 和 Václav Jirovský。 这项工作的目的是实现一个 Java VM。 为了测试功能，在 VM 中实施了使用蛮力的 SAT 公式解决方案。 要求 要编译和运行 VM，您需要安装并更正 JDK 设置。 汇编 使用构建构建程序ant来编译项目。 用 VM 读取所有生成的字节码 .class 文件，然后在运行时可用。 VM 执行包含main函数的第一个字节码 .class 文件（作为基础程序）。 要运行测试实现的 SAT 公式解决方案，您只需要加载字节码文件。