Simple smt solver for a class project