SMT32 learning repository