Add LogicFormatter project.