Self-taught developer building symbolic logic solvers, AI tools, and creative web/game projects. Python + Z3 | SAT/SMT tools | Game dev (Godot/Roblox) | Logic +
-
Software Engineer
- Tucson, AZ
- https://github.com/ConfirmedDev
Popular repositories Loading
-
Tyler-Ai-Logic-Solver-SAT-SMT-Dashboard
Tyler-Ai-Logic-Solver-SAT-SMT-Dashboard PublicThis project was designed to serve as a research-grade symbolic reasoning dashboard that helps others explore the bridge between computational logic and interactive visualization.
Python
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.

