Skip to content

Create frontier cut propagator

Пащенко Ярослав Владимирович requested to merge create-frontier-cut-propagator into main

Created 2 types of frontier propagator. Naive propagator returns frontier consisting of points of given level n. Merge propagator returns frontier consisting of inputs who can achieve outputs without passing merged points.

Merge request reports