/test.data/negativeUpdate/testSynthesis03.test
Unknown | 9 lines | 5 code | 4 blank | 0 comment | 0 complexity | c756e5a721acb731d89355e045ac31af MD5 | raw file
Possible License(s): LGPL-3.0, Apache-2.0
1# Rules: 2 3'Rule_0' -> A(x, y) @ 1.0 4 5%init: 3 * A(x~p, y~q) 6 7# Simulation: 8 9%obs: '001' A()