For combsql+, PB is added combsql/pysmt 's branch optimization + pb
CombSQL+: a solver for combnatorial optimization problems described in SQL based language
Reptile game