Language.Fixpoint.Partition

Split constraints

data CPart a

partition

partition'

partitionN

Information about cores

data MCInfo

mcInfo

Queries over dependencies

graphStatistics

data GDeps a

deps

Debug

elimSolGraph