Skip to content
Snippets Groups Projects
Commit 7b7b5731 authored by Aurélien Lamercerie's avatar Aurélien Lamercerie
Browse files

New rule to deduce a relation from restriction (3)

parent 960d0d36
Expand all Hide whitespace changes
Inline Side-by-side
Showing
with 5780 additions and 89 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment