Remove excesive smtlibv2 module logging
Remove excesive smtlibv2 module logging

cnheitman/barf-project,programa-stic/barf-project,programa-stic/barf-project,cnheitman/barf-project,cnheitman/barf-project