SMTソルバCVC4の1.1のリリース。 そろそろCVC3から乗り換えるべきかなぁ……