Some discrete analysis algorithms implementations