Allow Sat4j to use bunzip2 to uncompress on the fly bz2 (and possibly others) compressed files
Benchmarks take more and more space, so they are usually stored in a compressed form. Java has a built in support for zip file, but not for bz2 files.
One pragmatic way to add support for bz2 (and maybe 7z compressed files), is to use platform specific decoders, e.g. bunzip2 on unix platform.
This is how abscon is managing bz2 files, and it works fine for both Linux and Mac Os X.