Doel van dit project is het ontwikkelen en implementeren van algoritmen voor de constructie van complete lijsten van paarsgewijs niet isomorfe structuren met zekere eigenschappen. Deze structuren kunnen grafen, maps, of ook (modellen van) moleculen zijn. Dergelijke lijsten worden gebruikt om bv. vermoedens te testen, stellingen te bewijzen (als die op een eindig aantal structuren gereduceerd zijn), voorbeelden te vinden of ook gewoon een inzicht in het gedrag van zekere invarianten te hebben. Sommige specifieke doelen van het project zijn: grafen met weinig hamiltoniaanse cykels te vinden, de minimaliteit van een graaf zonder opspannende 2-boom te bewijzen en een programma voor het opsommen van maps op oriënteerbare oppervlakken te ontwikkelen en een programma voor het opsommen van planaire polycyclische koolwaterstoffen met gegeven formule te ontwikkelen (hieraan wordt al gewerkt).