homebrew-sri-csl：SRI International的分接头

【文件属性】：
文件名称：homebrew-sri-csl：SRI International的分接头
文件大小：9KB
文件格式：ZIP
更新时间：2021-02-04 05:14:52
homebrew package-management HomebrewRuby SRI的计算机科学实验室自制水龙头 这是SRI International的计算机科学实验室的Homebrew Tap。 抱抱 brew install SRI-CSL/sri-csl/cudd cadical brew install SRI-CSL/sri-csl/cadical *垄断 brew install SRI-CSL/sri-csl/libpoly yices2 brew install SRI-CSL/sri-csl/yices2

【文件预览】：
homebrew-sri-csl-master
----Formula()
--------libpoly.rb(1KB)
--------llvm.rb(13KB)
--------cudd.rb(618B)
--------yices.rb(1KB)
--------llvm_lite.rb(1KB)
--------cadical.rb(408B)
--------yices2.rb(1KB)
----README.md(356B)