Module near_convex 

Functions

convex_convolution_witnesses 🔒

min_plus_convolution_near_convex_scan

Computes exact near-convex convolution by scanning witness-relevant pairs.

validate_witness 🔒