log2

an overhead-constraint logging system