artur/reactics
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

still trying with glucose assimilation...

Browse Source
This commit is contained in:
Artur Meski
2016-03-02 22:12:50 +01:00
parent 561413b79f
commit 1746bf86c8
2 changed files with 12 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
smtcheckerrsc.py
View File

@@ -190,7 +190,7 @@ class SmtCheckerRSC(object):
enc_products = simplify(self.v[level+1][prod_entity] == \
If(self.v[level][prod_entity] > self.v_ctx[level][prod_entity],self.v[level][prod_entity],self.v_ctx[level][prod_entity]))
enc_enabledness = simplify(Or(enc_enabledness), And(enc_reactants, enc_inhibitors))
enc_enabledness = simplify(Or(enc_enabledness, And(enc_reactants, enc_inhibitors)))
enc_rct_prod = simplify(Or(enc_rct_prod, And(enc_reactants, enc_inhibitors, enc_products)))
# -----------------------------------------------------------------------------