The MinePG source code