z3

z3 C++ APIを使うことになったので，使えそうな資料を列挙してみる．(2017-05-24)

• z3 Namespace Reference : いざとなったら，ここを見て調べるしかない．
• Z3/examples/c++/example.cpp : z3のC++APIの記述例はここしか発見できていない...
• What is the status of the optimization stuff in the unstable branch? #211 ページ下方にMUS列挙のMARCOツールのz3pyでの実装がある．