JEC 超导RSFQ逻辑电路的等效检查 建造 > $win : cd JEC build.dat > $linux : cd JEC build.sh 需要安装以下库和头: gmp:sudo apt-get安装libgmp-dev 阅读线 柔性 野牛 opensmt 2.0.1 libantlr3c 3.2 / 2.4 CVC4 1.8 建立opensmt 环境是linux git clone https://github.com/usi-verification-and-security/opensmt cd opensmt mkdir build && cd build