Adding a library to solve combinatory algorihtms.