Pemrograman berbasis constraint (Constraint Programming) adalah suatu pendekatan deklaratif dalam problem solving dengan cara mendeskripsikan permasalahan menjadi himpunan batasan–batasan (constraints). Untuk menyelesaikan kombinatorial atau permasalahan optimisasi (optimization problems) dalam constraint programming, kita cukup memodelkan permasalahan sebagai suatu constraint satisfaction problem, dan selanjutnya solver yang akan mencari solusi atas permasalahan tersebut. Dalam memodelkan permasalahan, kita menggunakan variables, domains, dan constraints yang merepresentasikan himpunan penyelesaian. Constraint programming berkaitan dengan logic programming. Beberapa logic program dapat diterjemahkan ke dalam constraint program, dan sebaliknya. Pendekatan ini banyak digunakan dalam aplikasi komersial seperti Artificial Intelligent, Planning, Scheduling, Bioinformatics, Options Trading, Aerospace, dan sebagainya.