- logikai feladványok megoldása
- solverek bemutatása
- szakterület-specifikus nyelv készítése Xtexttel
- transzformáció készítése Xtenddel
- Java 1.8+
- Eclipse 4.4+
- Xtend:
- Eclipse-ben Help | Install new software: a http://download.eclipse.org/modeling/tmf/xtext/updates/composite/releases/) update site-ról az Xtend plug-int kell telepíteni (ez tartalmazza az Xtextet is).