Create account

DEV Community

MOULIK CHOUDHARY

Posted on Jun 7

DPLL Demystified — A Traceable C++ SAT Solver

GitHub “Finish-Up-A-Thon” Challenge Submission

Top comments (0)

MOULIK CHOUDHARY

Moulik Choudhary | CSE student passionate about C++, DSA, game development, and automation. Built Discord bots and projects focused on problem-solving and continuous learning.

Location

Jhunjhunu, Rajasthan
Education

CHANDIGARH UNIVERSITY
Pronouns

he/him
Work

Freelancer
Joined

May 28, 2026

Finish-Up-A-Thon: Teaching DPLL — A Minimal, Traceable C++ SAT Solver

#devchallenge #githubchallenge