2013-09-01から1ヶ月間の記事一覧
今更ですが,PVS (Allegro Versions),Yices1,NASA PVS Library,Hypatheon 各最新版のインストールスクリプトです. sudo apt-get -y install sqlite3 echo "export PVS_LIBRARY_PATH=~/CAS/pvs6/nasalib" >> ~/.bashrc source ~/.bashrc mkdir ~/CAS cd ~…
今更ですが,PVS (Allegro Versions),Yices1,NASA PVS Library,Hypatheon 各最新版のインストールスクリプトです. sudo apt-get -y install sqlite3 echo "export PVS_LIBRARY_PATH=~/CAS/pvs6/nasalib" >> ~/.bashrc source ~/.bashrc mkdir ~/CAS cd ~…