homebrew touist:for TouIST公式的Homebrew回购(和一些求解器) 源码
家酿旅游 我想更轻松地使用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=maelvalais HOMEBREW_BINTRAY_KEY=$(security find-generic-
文件列表
homebrew-touist-master.zip
(预估有个9文件)
homebrew-touist-master
.travis.yml
11KB
lingeling.rb
1KB
glucose.rb
4KB
rareqs.rb
5KB
picosat.rb
1KB
touist.rb
3KB
quantor.rb
2KB
qute.rb
1KB
README.md
1KB
暂无评论