Analytics, b and e formulations, and better solver access