一个支持向量机的库,用python写的。