bitarray
pyfunctionhood
clingo
