An optimization-focused fork of the F2BGL project.