Artur Meski
|
707c150134
|
Constraints for sanity of reactions (reactants vs. inhibitors: inh(e) => rct(e) < inh(e))
|
2018-01-22 20:44:44 +00:00 |
|
Artur Meski
|
ca2ea3fa3f
|
Removed constraint print... recursion
|
2018-01-14 10:12:38 +00:00 |
|
Artur Meski
|
dca5f84b63
|
Parameter constraints
|
2017-12-31 21:33:15 +00:00 |
|
Artur Meski
|
3c7dba31d5
|
Termination condition for max_level
|
2017-12-27 21:41:52 +00:00 |
|
Artur Meski
|
8d89047941
|
Cleanup, example
|
2017-12-27 21:35:39 +00:00 |
|
Artur Meski
|
4dbeac742d
|
Testing of multiple rsLTL formulae at once
|
2017-11-05 17:53:08 +00:00 |
|
Artur Meski
|
81b1ab4507
|
Command line arguments
|
2017-09-22 21:22:38 +02:00 |
|
Artur Meski
|
687b1c9cab
|
maxsat
|
2017-09-17 20:57:45 +01:00 |
|
Artur Meski
|
a3f06724bf
|
Production for parameters
|
2017-09-17 19:02:46 +01:00 |
|
Artur Meski
|
a43277c159
|
Fixing the encoding of reactions
|
2017-09-17 17:00:21 +01:00 |
|
Artur Meski
|
9297a7caf7
|
Semi-working version of parametric MC for rsLTL
|
2017-09-17 12:24:07 +01:00 |
|
Artur Meski
|
f7cfeb43c1
|
parameters - z3... variables
|
2017-09-14 22:25:21 +01:00 |
|
Artur Meski
|
58d65453b6
|
comments, etc.
|
2017-09-10 22:46:06 +01:00 |
|
Artur Meski
|
9abd631e4f
|
formatting
|
2017-09-10 22:02:31 +01:00 |
|
Artur Meski
|
dab97e9dae
|
parameter variables; some cleanup
|
2017-09-10 21:47:57 +01:00 |
|
Artur Meski
|
782ae117a3
|
introducing parameters
|
2017-09-03 17:59:26 +01:00 |
|
Artur Meski
|
ce6a1f6f19
|
transition relation with max calculation
|
2017-08-20 19:57:23 +01:00 |
|
Artur Meski
|
2b7d5e77dd
|
enc_max
|
2017-08-15 21:41:41 +01:00 |
|
Artur Meski
|
15cbf62e82
|
Max encoding, WIP
|
2017-08-14 21:31:43 +01:00 |
|
Artur Meski
|
9ca4d3954f
|
Initial encoding of reactions
|
2017-08-13 20:11:25 +01:00 |
|
Artur Meski
|
dd4ea5d939
|
cleanup
|
2017-08-13 16:02:22 +01:00 |
|
Artur Meski
|
c83779c9d5
|
Declaration of the intermediate product variables for the reactions and entities that are actually used as products
|
2017-08-13 15:51:20 +01:00 |
|
Artur Meski
|
27c86497e4
|
RSC with Param; RSCA for Param, SMTChecker for Param
|
2017-08-13 13:48:42 +01:00 |
|
Artur Meski
|
e1db24c8a9
|
SMTChecker for RSC, for the new parametic-compatible encoding
|
2017-08-13 12:26:43 +01:00 |
|