These tools are extremely useful especially for usaco. Build files are also included to build a special usaco version. To skip dealing with zip extractors and stuff, a downloader file is all you need.
This repository has been archived by the owner on Feb 29, 2024. It is now read-only.