├── .gitignore ├── .gitmodules ├── PhISCS-B-configure ├── PhISCS-B ├── Makefile ├── __init__.py ├── __main__.py ├── csp_maxsat.cpp ├── csp_z3.py ├── helperFunctions.py └── solvers │ ├── aspino │ └── aspino-static │ ├── maxino │ ├── maxino-2015-k16-static │ └── maxino-2015-kdyn-static │ ├── mscg │ ├── mscg14-linux-x86-64 │ ├── mscg15a-linux-x86-64 │ └── mscg15b-linux-x86-64 │ ├── open-wbo │ ├── open-wbo_glucose4.1_static │ └── open-wbo_minisat2.2_static │ └── qmaxsat │ ├── qmaxsat14.04auto-glucose3_static │ ├── qmaxsat14.04pms-glucose2_static │ └── qmaxsat14.04wpms-glucose2_static ├── PhISCS-I ├── __init__.py ├── __main__.py ├── faridFunctions.py └── helperFunctions.py ├── README.md └── example ├── input.SC └── input.bulk /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-compbio/PhISCS/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-compbio/PhISCS/HEAD/.gitmodules -------------------------------------------------------------------------------- /PhISCS-B-configure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-compbio/PhISCS/HEAD/PhISCS-B-configure -------------------------------------------------------------------------------- /PhISCS-B/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-compbio/PhISCS/HEAD/PhISCS-B/Makefile -------------------------------------------------------------------------------- /PhISCS-B/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /PhISCS-B/__main__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-compbio/PhISCS/HEAD/PhISCS-B/__main__.py -------------------------------------------------------------------------------- /PhISCS-B/csp_maxsat.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-compbio/PhISCS/HEAD/PhISCS-B/csp_maxsat.cpp -------------------------------------------------------------------------------- /PhISCS-B/csp_z3.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-compbio/PhISCS/HEAD/PhISCS-B/csp_z3.py -------------------------------------------------------------------------------- /PhISCS-B/helperFunctions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-compbio/PhISCS/HEAD/PhISCS-B/helperFunctions.py -------------------------------------------------------------------------------- /PhISCS-B/solvers/aspino/aspino-static: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-compbio/PhISCS/HEAD/PhISCS-B/solvers/aspino/aspino-static -------------------------------------------------------------------------------- /PhISCS-B/solvers/maxino/maxino-2015-k16-static: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-compbio/PhISCS/HEAD/PhISCS-B/solvers/maxino/maxino-2015-k16-static -------------------------------------------------------------------------------- /PhISCS-B/solvers/maxino/maxino-2015-kdyn-static: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-compbio/PhISCS/HEAD/PhISCS-B/solvers/maxino/maxino-2015-kdyn-static -------------------------------------------------------------------------------- /PhISCS-B/solvers/mscg/mscg14-linux-x86-64: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-compbio/PhISCS/HEAD/PhISCS-B/solvers/mscg/mscg14-linux-x86-64 -------------------------------------------------------------------------------- /PhISCS-B/solvers/mscg/mscg15a-linux-x86-64: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-compbio/PhISCS/HEAD/PhISCS-B/solvers/mscg/mscg15a-linux-x86-64 -------------------------------------------------------------------------------- /PhISCS-B/solvers/mscg/mscg15b-linux-x86-64: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-compbio/PhISCS/HEAD/PhISCS-B/solvers/mscg/mscg15b-linux-x86-64 -------------------------------------------------------------------------------- /PhISCS-B/solvers/open-wbo/open-wbo_glucose4.1_static: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-compbio/PhISCS/HEAD/PhISCS-B/solvers/open-wbo/open-wbo_glucose4.1_static -------------------------------------------------------------------------------- /PhISCS-B/solvers/open-wbo/open-wbo_minisat2.2_static: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-compbio/PhISCS/HEAD/PhISCS-B/solvers/open-wbo/open-wbo_minisat2.2_static -------------------------------------------------------------------------------- /PhISCS-B/solvers/qmaxsat/qmaxsat14.04auto-glucose3_static: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-compbio/PhISCS/HEAD/PhISCS-B/solvers/qmaxsat/qmaxsat14.04auto-glucose3_static -------------------------------------------------------------------------------- /PhISCS-B/solvers/qmaxsat/qmaxsat14.04pms-glucose2_static: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-compbio/PhISCS/HEAD/PhISCS-B/solvers/qmaxsat/qmaxsat14.04pms-glucose2_static -------------------------------------------------------------------------------- /PhISCS-B/solvers/qmaxsat/qmaxsat14.04wpms-glucose2_static: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-compbio/PhISCS/HEAD/PhISCS-B/solvers/qmaxsat/qmaxsat14.04wpms-glucose2_static -------------------------------------------------------------------------------- /PhISCS-I/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /PhISCS-I/__main__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-compbio/PhISCS/HEAD/PhISCS-I/__main__.py -------------------------------------------------------------------------------- /PhISCS-I/faridFunctions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-compbio/PhISCS/HEAD/PhISCS-I/faridFunctions.py -------------------------------------------------------------------------------- /PhISCS-I/helperFunctions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-compbio/PhISCS/HEAD/PhISCS-I/helperFunctions.py -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-compbio/PhISCS/HEAD/README.md -------------------------------------------------------------------------------- /example/input.SC: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-compbio/PhISCS/HEAD/example/input.SC -------------------------------------------------------------------------------- /example/input.bulk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-compbio/PhISCS/HEAD/example/input.bulk --------------------------------------------------------------------------------