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
Sort by: Most downloads
0 packages
No results matched your search.
Try browsing all packages to find what you're looking for.

