# Applications of Constraint Solving

Real-time applications that take advantage of constraint programming techniques have been increasing by leaps and bounds every year for more than a decade now. A lot of areas such as manufacturing, financial services, telecommunications, defense etc have been employing constraint and logic programming.

## CP and combinatorial optimization in circuit verification |
One of the three features of Constraint programming is modeling. A modeling language allows a software analyst to specify requirements of a software system on an architectural level. In designing and verifying VLSI circuits problem modeling is effectively achieved with constraints. Functional verification has become quite difficult these days what with increasing complexity in design issues. Automated functional vector generation has been made possible using CP. In recent years Boolean Satisfiability is being significantly used for various tasks in circuit verification. Using Boolean Constraint Propagation most of the SAT solvers perform very efficiently. BCP is implemented by representing the electric circuit using a Conjunctive Normal Form. |

## CP and Simulations |
Simulations are the most important applications of constraints. Especially in the area of Physics all kinds of laws can be expressed as some or the other kind of a constraint. Animus is a constraint solving system that involves the concept of constraints and time. This has made possible the creation of animations using temporal constraints. |