Moved to https://git.sr.ht/~thestr4ng3r/shida - SMT Solver for Bit Vector Arithmetic - View it on GitHub