Add minified Boltzmann