reformat solver
reformat system
reformat tools
reformat workflow
reformat tests