Automatically generates examples of Boolean networks from properties on the controllability of their synchronous, aysnchronous, and general asynchronous dynamics before and after reduction by variable elimination.
The program will exhaust all the possible Boolean networks of given dimension until a solution is found, and can perform minimization. An UNSAT answer indicates that no Boolean network of given dimension and properties exist (modulo bugs). It is generally not tractable above 6 dimensions.
The structure, generality, and user-friendliness of the program is at a very preliminary stage.
Yet, we believed it may give inspiration for generating (counter)examples for other works.
make
- Python (at least 3.10)
- clingo
dot
-
Add desired specification at the end of
main.py
-
Execute
python gen_asp_ce.py {Psize} {n} | clingo
, or
make PSIZE={Psiez} gence{n}
(default to{Psize}=1
) where{n}
is the dimension, and{Psize}
the number of components that must be controlled to 0.When using
make
, Boolean functions, influence graphs, and dynamics are extracted from the generated solution.