Daniel-del-Castillo/3SAT-Clique-Transformation — reverse-engineered prompt

I want a small Rust project for a computational complexity assignment that shows the classic reduction from 3SAT to Clique. Make it something I can run from the terminal with a simple text input for a 3SAT formula, then have it build the corresponding graph and print the Clique instance clearly, including the target clique size.

Please make the output easy to understand, so I can see which literals became vertices and which edges were added. It would also be great if it handled basic input mistakes nicely and came with a few example formulas I can run right away to check that it works.

Keep it focused on the transformation itself, not a huge app, but make the code organized and readable enough for a student project. Add a short README that explains how to run it and what the expected input and output look like. If you need to, look up the standard 3SAT to Clique reduction online and follow the usual construction.