quetzal_rainbow comments on AlgZoo: uninterpreted models with fewer than 1,500 parameters

[quetzal_rainbow]

How is the progress six months later?