fix memory management issues; now leak free
licensing; GPLv3 because boolector and lingeling are