boolean.py
clingo
colomoto_jupyter>=0.8.0
numpy
biodivine_aeon>=1.0.1
scipy
tqdm
