1 CP in Electronic Design Automation (EDA) (Java Constraint Programming) JaCoP solver Radoslaw (Radek) Szymanek.