Cross compile the CUDD library using BinaryBuilder.jl - View it on GitHub