A tanszéken fejlesztett Refinery gráfalapú formális logikai következtető keretrendszer (online demó: https://refinery.services) olyan nemzetközi élvonalba tartozó gráfalapú formális logikai következtető algoritmust tartalmaz, amely skálázódás tekintetében vetekszik az MIT vagy a Microsoft Research kutatói által kidolgozott SMT vagy SAT megoldókra alapuló módszerekkel. A témán dolgozó hallgatók ennek az eszköznek a fejlesztéséhez csatlakozhatnak.

Az algoritmusok mellett a Refinery eszköz tartalmaz egy webes szolgáltatást, melyen keresztül a felhasználók elkészíthetik a gráfmodelleket, illetve használhatják a gráfgenerátor. Ennek a technikai megvalósítása pl. Java, Jersey, REST, TypeScript, WebSocket, React technológiákra épül. A feladat célja az eszköz további fejlesztése, pl. annak skálázhatóságának vagy használhatóságának növeléséhez.

A feladatra akár több hallgató is jelentkezhet, a pontos részfeladatok és kiírás meghatározására a konzulenssel egyeztetve kerül sor.