Artur Meski
|
dc482781e2
|
Output cosmetics
|
2016-03-04 20:52:02 +01:00 |
|
Artur Meski
|
45b6db12c4
|
Pretty printing
|
2016-03-04 15:10:10 +01:00 |
|
Artur Meski
|
5aec7d8df5
|
HSR + cosmetics
|
2016-03-03 16:11:09 +01:00 |
|
Artur Meski
|
ec8e5d1b7d
|
Fixed permanency encoding: And->Or.
|
2016-03-03 14:35:47 +01:00 |
|
Artur Meski
|
7907c0216b
|
Added the enc_state_with_blocking() function
This allows to specify reactants and inhibitors in the provided state.
|
2016-03-03 12:31:12 +01:00 |
|
Artur Meski
|
063e8063cc
|
Moved "Next level?" to after we check max_level
|
2016-03-03 06:54:41 +01:00 |
|
Artur Meski
|
1746bf86c8
|
still trying with glucose assimilation...
|
2016-03-02 22:12:50 +01:00 |
|
Artur Meski
|
02606e32bf
|
Permanency encoding. Allows preserving concentration levels for a specified entity. Permanency can also be inhibited.
|
2016-03-02 18:09:07 +01:00 |
|
Artur Meski
|
3f3690c861
|
working on Blood-Glucose example
|
2016-03-01 21:25:34 +01:00 |
|
Artur Meski
|
0137a20867
|
simplify
|
2016-02-29 08:35:49 +01:00 |
|
Artur Meski
|
ef6f2edd33
|
Incrementation & decrementation by a specified value.
|
2016-02-28 20:12:43 +01:00 |
|
Artur Meski
|
8a739b0760
|
Resources reporting. Chain reaction benchmark, etc.
|
2016-02-24 22:49:40 +01:00 |
|
Artur Meski
|
b21a0cee48
|
Translation RSC->RS for meta-reactions.
|
2016-02-21 14:55:48 +01:00 |
|
Artur Meski
|
060f5dc1f5
|
Meta-reactions
|
2016-02-20 23:35:08 +01:00 |
|
Artur Meski
|
1f5938ba96
|
Translation RSC -> RS. CA translation - to be done.
|
2016-02-19 18:19:50 +01:00 |
|
Artur Meski
|
9e025c2c9a
|
Implementation of reachability testing for RSC using SMT. Intitially tested version. No known issues.
|
2016-02-17 21:41:43 +01:00 |
|
Artur Meski
|
8853589ff8
|
Transitioning boolean variables to integer variables in the SMT encoding.
|
2016-02-16 21:57:55 +01:00 |
|
Artur Meski
|
6018df00d8
|
SMT for RSC. Initial commit with the stub class.
|
2016-02-16 20:34:17 +01:00 |
|