Closed desaikd closed 3 years ago
Issue #10
Description of changes: This PR works on adding other logic constraints implementation for ISL logic constraint.
Changes:
IslConstarint
AnyOf
OneOf
Not
Constraint
Test: Adds unit tests for ISL logic constraints.
Issue #10
Description of changes: This PR works on adding other logic constraints implementation for ISL logic constraint.
Changes:
IslConstarint
enum variant for ISL logic constraints:AnyOf
,OneOf
,Not
Constraint
enum variant for logic constraints.Test: Adds unit tests for ISL logic constraints.