use Boolector solver for arctic