Condition Unification #197

New Issue

aniva · 2025-04-24T08:45:23-07:00

aniva commented

2025-04-24 08:45:23 -07:00

Consider if we have 3 goals in a state:

x
|- Nat
1
|- x <= 5
2
|- x <= 10

Then it should be possible to solve ?2 with ?1.

Is there a way to encode this?

Consider if we have 3 goals in a state: ``` x |- Nat 1 |- x <= 5 2 |- x <= 10 ``` Then it should be possible to solve `?2` with `?1`. Is there a way to encode this?

aniva added the

part/Goal

category

feature

labels 2025-04-24 08:45:23 -07:00

aniva self-assigned this 2025-04-24 08:45:23 -07:00

Sign in to join this conversation.

No Label

No Milestone

No project

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: aniva/Pantograph#197