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 Improvement
    • Status: Resolved
    • Priority: Major 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
        Daniel Le Berre added a comment -

        Code in r1062.

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

          People

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

            Dates

            • Created:
              Updated:
              Resolved:

              Development