Generalisierende Boolesche Erfüllbarkeit III: Implementierung