AIG package.
Min-Cut algorithm.