Pick the newest file.
For browsing, see: https://sat-smt.codes/current_tree/
To clone the latest: git clone https://sat-smt.codes/git/