The efficient SMT-based bounded model checker - View it on GitHub