import caspo_control
import biolqm
Downloading of the model
model = biolqm.load("http://ginsim.org/sites/default/files/Bladder_Model.zginml")
Conversion of the model from multivalued to Boolean
inputs = {
"GrowthInhibitors":1,
"EGFR_stimulus":1,
"FGFR3_stimulus":1
}
target = {"Apoptosis_b1": 1, "RB1": 1}
cc = caspo_control.load(model, inputs)
s = cc.reprogramming_to_attractor(target, maxsize=2)
s
s.as_table()
s.as_graph()
s.aliases
from colomoto_jupyter import tabulate
test = biolqm.to_minibn(model, ensure_boolean=True)
for n, v in inputs.items():
test[n] = v
test["RB1"] = 1
test["TP53"] = 1
tabulate(biolqm.fixpoints(test.to_biolqm()))