Welcome to Smogon! Take a moment to read the Introduction to Smogon for a run-down on everything Smogon, and make sure you take some time to read the global rules.
Oh that's my bad for mixing up terminology. In my mind that whole class of algorithms (CP/MIP/LP/SAT-solving(?)/etc.) fall under constraint programming, because it's programming for a Constraint Optimization Problem.