A runtime assertion and contract programming tool
Approximate statistical analysis using logarithmic bins
