sal:简单的算法库