Scippy

SCIP

Solving Constraint Integer Programs

vertex_terminal_implications Struct Reference

Detailed Description

cuts for implications between non-terminals and terminals

Definition at line 63 of file sepaspecial.c.