We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
73e1cd1
Next to various bug fixes, this release adds stratified negation, and various acyclicity checks.