Constraint Programming in C++ using the naxos problem solver. Initial commit