Ročnikový projekt
Meno študenta: Michal Tkáčik
Email: tkacik16@uniba.sk
Meno školitela: Ján Mazák
Email školitela: jan.mazak@fmph.uniba.sk
Názov projektu: Participácia na knižnici ba-graph
Špecifikácia projektu:
- Prepísanie testov pomocou vhodného frameworku
- Dopĺňanie ďalších testov
- Nastavenie continous integration
- Preverenie kódu pomocou umelej inteligencie
- Vymyslieť, ako by funkcia read_graph_file mohla pokračovať v práci po reštarte programu
- Oddeliť časti využivajúce nauty a cryptominisat od zvyšku knižnice, revízia funkcií pre izomorfizmus