Release Notes

This download category contains automatically released nightly builds, reflecting the current state of Boogie's development. They are intended for experimental use only. Please download the Recommended Download to obtain the most recent release. The Other Available Downloads are in ascending order with the most recent release at the bottom of the list.