I'm a tech enthusiast who loves to learn about new things. Skills: 🐍 Python 🕸️ DLV (Answer Set Programming) 🧮 Z3 Theorem Prover