A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework. - View it on GitHub