Fix posts: sbv: 用SMT求解器验证程序