News for package boolector