Martin mentioned that there are some minor issues in the example encoding.
The concern derived variables, which are not evaluated in the final time step, and the accidental inclusion of derived predicates in the inertia rules.
Martin mentioned that there are some minor issues in the example encoding.
The concern derived variables, which are not evaluated in the final time step, and the accidental inclusion of derived predicates in the inertia rules.
patrick
added this to the plasp 3.1.0 milestone 2017-11-03 19:38:50 +01:00
patrick
self-assigned this 2017-11-03 19:38:50 +01:00
patrick
added the bug label 2017-11-03 19:38:50 +01:00
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
Martin mentioned that there are some minor issues in the example encoding.
The concern derived variables, which are not evaluated in the final time step, and the accidental inclusion of derived predicates in the inertia rules.