- 博客(4)
- 收藏
- 关注
RSS订阅原创 AssertionError: The environment must specify an action space. https://www.gymlibrary.dev/content/env
的元数据中包含了一个无效的依赖项声明（如果仍然失败，继续执行以下手动修复步骤。执行第3条命令的时候报错。后，再次尝试直接安装。），这导致较新版本的。
2025-04-06 02:48:33
156
原创 vmware ubuntu 黑屏+libstdc++.so.6: cannot open shared object file错误解决记录
（3）检查库文件是否存在，以及它的权限：ls -l /usr/lib/x86_64-linux-gnu/libstdc++.so.6。（我检查的结果是libstdc++.so.6这个文件是存在且可用的，如果你跟我情况一样，可以接着做下一步，如果不是的话，得采取别的方法）（2）cd / # 切换到根目录 ， ls # 查看根目录下的文件和目录，输出应包含。1、开启虚拟机的时候，长按“esc”进入如下界面，按“↓”选择第二个按回车。3、进入如下界面，选择root，回车两次。
2025-04-05 22:22:45
437
原创 Ubuntu 中 Minisat 的下载、安装及使用记录
因为我没有找到“/usr/bin”目录，所以在“minisat-2.2.0”目录下创建了一个新的目录“minisatexe”，把可执行文件、数据文件和源代码文件隔开来了。试了一个实例没什么问题。解决方法：使用教旧版本的GCC，某些旧版本的 GCC 对 C++ 标准的检查不如新版本严格。你可以安装并使用旧版本的 GCC，例如 GCC 7。执行完后，当前目录下多出了一个“minisat”可执行文件，如图。我在执行make rs的时候出现报错。
2025-04-02 17:14:05
204
原创 DPLL算法python实现
什么是 DPLL 算法DPLL 是一种递归算法，结合了简化子句单元传播和分支赋值等策略。核心思想简化子句：根据当前赋值移除已满足的子句或无效的文字。单元传播：优先处理只有一个文字的子句，快速缩小搜索空间。分支赋值：对未赋值变量尝试True和False，并通过回溯探索所有可能解。算法流程初始化空赋值。循环执行简化子句和单元传播。如果存在冲突，回溯并尝试其他赋值；否则返回解。
2025-04-01 15:22:51
324
1
空空如也
vue2+vue-3d-model
2024-04-09
traceparts api使用问题
2024-04-04
TA创建的收藏夹 TA关注的收藏夹
TA关注的人