numpy>=1.17.0
scipy>=0.14
filelock
etuples
logical-unification
miniKanren
cons
typing_extensions