مسایل تصمیم گیری با محدودیت به دلیل کاربردشان هم در حوزه های علمی و هم در صنعت و تجارت، مورد توجه قرار گرفته است. در مواجهه با این مسایل باید دو گام اساسی برداشته شود: ایجاد مدل و حل آن. این مسایل عمدتا پیچیده هستند و اغلب یافتن یک مدل مناسب برای آن ها مشکل است. از طرف دیگر فضای جستجوی آن ها بزرگ است و به صورت نمایی با سایز مساله رشد می کند. پس باید برای حل آن ها از روش های کارایی استفاده شود که دارای زمان حل پایین باشد. ابزارهای مدلسازی گوناگونی برای این مسایل ایجاد شده است و در هر یک از آن ها، تمهیداتی برای جستجو در نظر گرفته شده است. زبانzinc یکی از زبان های مدلسازی است که برای جستجو، روشی سطح بالا را فراهم کرده است. هدف از این تحقیق بررسی روش های جستجو در ابزارهای مدلسازی موجود بالاخص زبان مدلسازی zinc و اضافه کردن امکان جستجوی a* به زبان مدلسازی zinc است. این روش برای دسته ای از مسایل که دارای هیورستیک مناسب هستند، می تواند به گونه ای موثر عمل کند.