Fork of clasp from potassco with support for pseudo boolean constraint learning