Intelligence SMT machine

Created by Jason Wu on 22 January, 2021