Update README (2026-07-06) with latest ABOUT.md, INSTALL.md, CONTRIBUTING.md and badges#191

github-actions[bot] wants to merge 1 commit into

maincontrol-toolbox/CTBenchmarks.jl:mainfrom

update-readme-2026-07-06control-toolbox/CTBenchmarks.jl:update-readme-2026-07-06Copy head branch name to clipboard