Lovpy
Copyright 2021 Dimitrios S. Karageorgiou

Lovpy was developed by *Dimitrios Karageorgiou*,\
during diploma thesis on *Automated Proving using Graph Neural Networks for Logic Verification of Code at Runtime*,\
*Electrical and Computers Engineering Department,*\
*Aristotle University Of Thessaloniki, Greece,*\
*2020-2021.*