Implementation and Application of a Parser for Boolector's Witness Format

This release is referenced in the bachelor thesis titled "Implementation and Application of a Parser for Boolector's Witness Format" by Christoph Swiller.