a python constraint solver based on clasp