We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 44f87e1 commit 598a84bCopy full SHA for 598a84b
1 file changed
setup.py
@@ -19,7 +19,8 @@
19
'clingo',
20
'bitarray',
21
'janus_swi',
22
- 'python-sat'
+ 'python-sat',
23
+ 'setuptools',
24
],
25
url="https://github.com/logic-and-learning-lab/Popper",
26
scripts=['bin/popper-ilp'],
0 commit comments