Enhanced Space with Ising model, educational tabs, hardware comparisons

Use Python 3.10 and Gradio 5.9.1 for compatibility

Daugherty Engine SAT Solver - API Demo