Added ezSAT api support for don't care values in models