-
- Downloads
added a condition to check for non-minimality
fixed a bug on conflicting clause that were both from the same group and from different groups
parent
1c3c5129
No related branches found
No related tags found
GitLab upgrade completed. Current version is 17.10.3. We now benefit from the enhancements of 17.9 and 17.10 releases. Among other improvements, it is now possible to set the automatic deletion of continuous integration pipelines. You can help us reduce storage usage by setting an expiry date for your pipelines.
fixed a bug on conflicting clause that were both from the same group and from different groups