文件名称：homebrew-touist：for TouIST公式的Homebrew回购（和一些求解器）
文件大小：15KB
文件格式：ZIP
更新时间：2024-02-25 00:34:41
homebrew homebrew-tap HomebrewRuby
家酿旅游 我想更轻松地使用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
----.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)