Fork of the University of Kent's C++CSP2 library