Commit

3ca0ff5ed3

Add SepMin3 and s-tractability problems

Chao Xu -

3ca0ff5ed3d34a6e05aa0b1f34f8d8daf6ecd85f