注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. homebrew-touist：for TouIST公式的Homebrew回购（和一些求解器）-源码

  2. 家酿旅游 我想更轻松地使用touist版本的Homebrew以及一些QBF和SAT求解器。 安装touist ： brew install touist/touist/touist 推送新版本： brew bump-formula-pr touist/touist/touist --url=https://github.com/touist/touist/archive/v3.4.4.tar.gz 当PR为绿色时，请在本地拉PR： HOMEBREW_BINTRAY_USER=maelva

  3. 所属分类：其它

    • 发布日期：2021-02-04
    • 文件大小：15360
    • 提供者：weixin_42160252