Skip to content

Pseudo trivial cuts

Камкин Александр Сергеевич requested to merge bugfix/preudo-trivial-cuts into main

Changed triviality checking in cut sorter.

Merge request reports