computer software for solving constraint satisfaction problems, namely, computer software for use in the field of programming commercial and industrial applications involving resource allocation, scheduling and combinatorial problems