homebrew sri csl:SRI International的分接头 源码

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