Efficient enumeration of fixed points in Boolean networks using answer set programming
You can install fASP with pip directly from the Package Index:
$ python3 -m pip install fASPYou will also need the clingo ASP solver in your PATH.
Instructions are provided directly on the Potassco pages.
After installing fASP (and clingo), just run
$ fASP -h
usage: fASP [-h] [-v] [-m MAX] [-t TIME] [-e {conj,disj,source}] [infile]
Compute fixed points of complex Boolean networks. Copyright (C) 2023 [email protected] and [email protected] GPLv3
positional arguments:
infile BoolNet (.bnet) file
optional arguments:
-h, --help show this help message and exit
-v, --version show program's version number and exit
-m MAX, --max MAX Maximum number of solutions (0 for all).
-t TIME, --time TIME Maximum number of seconds for search (0 for no-limit).
-e {conj,disj,source}, --encoding {conj,disj,source}
ASP encoding to compute fixed points.