I’m a software engineering enthusiast who loves tackling complex problems with creative solutions. My current passion is tooool, a tool that converts software engineering challenges into Boolean satisfiability (SAT) problems, solvable using SMT solvers.

• 🔭 Currently working on: tooool - Bridging software engineering and SAT solving.
• 🌱 Currently learning: Advanced SMT solver techniques and their applications in software engineering.
• 👯 Looking to collaborate on: Dependency Resolution Tools - Let’s streamline package management!
• 🤝 Seeking help with: tooool Optimization - Open to ideas for performance and usability improvements.
• 💬 Ask me about: tooool, SMT solvers, or software engineering problem-solving.

Check out all my work on my GitHub profile. Here are some highlights:

• tooool - A tool for transforming software problems into SAT problems.
• Dependency Resolution Tools - Efficient solutions for package dependency management.

• Email: [email protected]
• LinkedIn: Sadman Jashim Sakib
• Resume: View my experiences

I once built a line-following robot that got lost in a maze—teaching me the value of persistence and debugging, lessons I now apply to every coding challenge!

Here’s what I work with, grouped for clarity:

Thanks for stopping by! Feel free to explore my repositories or reach out if you’d like to chat about projects or collaboration opportunities.