🔭 Currently pursuing my Master's in Computer Science 🌱 Currently using MaxSAT solvers in a personal project ⚒️ Languages-Tools ⚒️