Development and Validation of Methods for Multi-State Design and Combinatorial Library Design