Fix #2: Clean up duplicate imports and paste blocks in solver_core.py 6062e9a verified rogermt commited on Apr 28