RahulVinoth2011/SATForge — reverse-engineered prompt

Build me a simple SAT solving project called SATForge that works both as a small web app and a command line tool. I want someone to be able to paste or type a Boolean formula, especially in CNF, run it, and quickly see whether it is satisfiable or not. If it is satisfiable, show one valid assignment clearly. If it is not, say that plainly.

Please make the web side feel clean and beginner friendly, with a basic input area, a run button, and an easy to read results panel. The CLI should do the same core job from the terminal so the logic is reusable in both places. Keep the shared solving code in one place so the API, frontend, and CLI all use the same behavior.

Make it easy to run locally and reasonable to deploy. Add a little validation and friendly error messages for bad input. If anything about SAT formula format is unclear, look up current docs or common conventions online and use a sensible default.