boolean.py
clingo
colomoto_jupyter>=0.8.0
numpy
scipy
tqdm
