视频分割工具,将一个长视频,按固定时间,分割为连续的多个短视频。高效率,底层使用ffmpeg。编写语言为Python,非开源。