Simplify choice rules further #14

New Issue

patrick · 2018-04-21T19:36:43+02:00

patrick commented

2018-04-21 19:36:43 +02:00

For the program:

{p(a)}.
{p(b)}.

anthem gives the correct answer:

forall V1 (p(V1) <-> ((V1 = a and p(V1)) or (V1 = b and p(V1))))

but doesn’t simplify it.

For the program: {p(a)}. {p(b)}. anthem gives the correct answer: forall V1 (p(V1) <-> ((V1 = a and p(V1)) or (V1 = b and p(V1)))) but doesn’t simplify it.

patrick self-assigned this 2018-04-21 19:36:43 +02:00

patrick added the

enhancement

label 2018-04-21 19:36:43 +02:00

patrick added this to the anthem 0.2.0 milestone 2018-04-23 00:22:08 +02:00

patrick removed this from the anthem 0.2.0 milestone 2019-01-13 16:44:10 +01:00

Sign in to join this conversation.

No Label

No Milestone

No Assignees

1 Participants

Notifications

Due Date

The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: patrick/anthem#14