bintbit is a bitvector theory SMT solver and CDCL SAT solver - View it on GitHub