EasyCP is a modern, user-friendly C++ library that lets you use constraint programming in a very natural way, taking advantage of its expressive power.
Just model and let the CSP (Constraint Satisfaction Problem) solver do the job !
The DSManager middleware is used for Commerical-Off-The-Shelf (COTS) Simulation Package (CSP) Interoperability based on the IEEE High Level Architecture.