Changed the comparators for Resource, Capability, and Requirement#5807
Merged
pkriens merged 3 commits intobndtools:master from pkriens:issue/5793-CapabilityComparator.compare_violates_contractOct 25, 2023
+798-201
Commits
Commits on Oct 11, 2023
Commits on Oct 12, 2023
- committed
- committed