-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathrequirements.txt
35 lines (30 loc) · 1.25 KB
/
requirements.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
#!/usr/bin/env python3
# -*- coding: utf-8 -*-
#
# simplicial_test -- a python module to realize simplicial degree-size sequences
#
# Copyright (C) 2020-2021 Tzu-Chi Yen <[email protected]>
#
# This program is free software; you can redistribute it and/or modify it under
# the terms of the GNU Lesser General Public License as published by the Free
# Software Foundation; either version 3 of the License, or (at your option) any
# later version.
#
# This program is distributed in the hope that it will be useful, but WITHOUT
# ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
# FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more
# details.
#
# You should have received a copy of the GNU Lesser General Public License
# along with this program. If not, see <http://www.gnu.org/licenses/>.
# Library dependencies for the python code. You need to install these with
# `pip install -r requirements.txt` before you can run this.
#### ESSENTIAL LIBRARIES FOR MAIN FUNCTIONALITY ####
more_itertools>=8.7.0
numpy>=1.20.0
matplotlib>=3.0.0
click>=7.1.2
#### USED BY THE SAMPLE MODULE ####
# hitting set solver
# via `pip install python-sat` (See: https://pysathq.github.io/installation.html)
# python-sat[pblib,aiger]