Prediction market arbitrage system using graph theory, SAT solving, and real-time WebSocket execution.