pymbd

PyMBD

This directory contains sources for the compsysmed/pymbd container. It implements various algorithms for the minimum hitting set generation problem. They include:

• bool-iterative from The computation of hitting sets: review and new algorithms by Lin and Jiang,
• hsdag from A correction to the algorithm in Reiter's theory of diagnosis by Greiner, Smith, and Wilkerson,
• hst from A variant of Reiter's hitting-set algorithm by Wotawa, and
• staccato from "A low-cost approximate minimal hitting set algorithm and its application to model-based diagnosis" (PDF) by Abreu and Gemund.

Implementation

The implementations provided in src/alg are Python code written by Thomas Quaritsch and Ingo Pill for "PyMBD: a library of MBD algorithms and a light-weight evaluation platform" (PDF. The complete PyMBD distribution may be downloaded as a zip bundle from Pill's website. Portions of it are redistributed here under the terms of the author's license; see the LICENSE file for details.

Building

To build the container yourself, run the following from this directory:

docker build -t compsysmed/pymbd:latest .

You do not need to build the container yourself to use the algorithms. You can fetch a prebuilt copy of the container by running the following:

docker pull compsysmed/pymbd:latest