
[smt]
numpy>=1.19

[trie]
pycedar>=0.2.0
