
    This directory contains the C sources for the XSB emulator.
