A kombinatorikus optimalizálás témakörében számos olyan sejtés van, amelyek évtizedek óta ellenállnak minden bizonyítási kísérletnek. A projekt célja ezek közül néhányat számítógéppel ellenőrizni kis példákon, illetve a bizonyítási kísérleteket számítógépes teszteléssel támogatni. Ehhez szükséges egy-egy kombinatorikus algoritmust implementálni, ami kapcsán lehetőség van bekapcsolódni a LEMON könyvtár fejlesztésébe. A számításigényes futtatásokat az Atlasz nevű szuperszámítógépen végezzük, így elosztott rendszereken való munkában is lehet tapasztalatot szerezni.
A projekt szorosan kapcsolódik az MTA-ELTE Matroidelméleti kutatócsoport munkájához.