Skip to content

Commit 901316b

Browse files
committed
Added dependencies
1 parent dd52a35 commit 901316b

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

setup.py

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -37,6 +37,9 @@ def run(self):
3737
install_requires=[
3838
'torch',
3939
'pysmt',
40+
'numpy',
41+
'future',
42+
'tqdm',
4043
],
4144
cmdclass={
4245
'develop': custom_develop,

0 commit comments

Comments
 (0)