z3-solver 사용법 정리해오기

자신만의 vm을 C언어 구현