- 博客(3)
- 资源 (4)
- 收藏
- 关注
RSS订阅
1原创 visual studio 2017/2019 调用Z3实现SMT求解问题
visual studio 2017/2019 调用Z3实现SMT求解问题，安装以及配置问题。
2021-12-15 21:06:54
2562
翻译 Win10用户VS Code的C/C++扩展更新到1.6.0-insiders版本后无法调试的问题
Win10用户VS Code的C/C++扩展更新到1.6.0-insiders版本后无法调试的问题可以参考这里：https://github.com/microsoft/vscode-cpptools/issues/7971原来是新版本1.6.0 cpptools-win32中把Win7的调试器推送给了WIn10用户解决方法一 : 回滚到1.5.1版本解决方法二 : 就是手动删掉这个错误的debugger 再重新安装删除以下下文件（夹）%USERPROFILE%.vscode\extensi
2021-08-16 20:52:23
231
cplex_vs2019_config.txt
visual studio 2019 调用cplex，并用c++实现demo........
主要涉及路径以及平台的配置，对cplex的初学者有一定的指导作用
2020-12-15
opl_functions_top.pdf
opl每个单独的函数的描述、语法和示例。
例如 abs 绝对值的函数
其中包含所有opl相关函数，以及详情链接
对于有需求的同学可以下载使用
2020-12-14
AMPLCPLEXUserx27sGuide.pdf
cplex应用指南，The CPLEX solver for AMPL is named cplexamp (cplexamp.exe on Windows). This version of AMPL will use this solver by default. Older versions of the CPLEX solver for AMPL were simply named cplex (cplex.exe on Windows). Some users of that version may have specified the solver in their model
2020-12-14
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人