結果 : discrete structures ai solver