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