Similar repositories to caizhenghai/pySmt_btor: