日: 2016年10月9日

Z3 – guide 興味あってZ3のチュートリアルをやってみた。設計や検証に使えるのかを知りたかったので。 関数の定義や取りうる値の範囲を決めるところなど、なんとなくソフトウェア設計そのものをやっているみた …

Continue reading