文件名称：homebrew-sri-csl：SRI International的分接头
文件大小：9KB
文件格式：ZIP
更新时间：2024-02-24 23:01:32
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)