結果 : discrete structures solver