Uploaded image for project: 'Sat4j'
  1. Sat4j
  2. SAT-42

Allow Sat4j to use bunzip2 to uncompress on the fly bz2 (and possibly others) compressed files

    Details

    • Type: Improvement
    • Status: Resolved
    • Priority: Major
    • Resolution: Fixed
    • Affects Version/s: 2.2.2, 2.2.3, 2.3.0
    • Fix Version/s: 2.3.1
    • Component/s: core, maxsat, pseudo
    • Security Level: Public (Everybody can see)
    • Labels:
      None

      Description

      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.

        Activity

        Hide
        leberre Daniel Le Berre added a comment -

        Code in r1062.

        Show
        leberre Daniel Le Berre added a comment - Code in r1062.

          People

          • Assignee:
            leberre Daniel Le Berre
            Reporter:
            leberre Daniel Le Berre
          • Votes:
            0 Vote for this issue
            Watchers:
            0 Start watching this issue

            Dates

            • Created:
              Updated:
              Resolved: