HAL parser library for wrapping HalBuilder (https://github.com/HalBuilder)