Simple concurrent store using GeCode, discovering the library.
Use minimodel to represent constraint, clean namespace in hpp.