Moved the filter_map function to the Data_common_list module, where it belongs.
Renamed the "fold_to_list" function to "map_to_list" in the Data_common_set module.
Added the mapi function to the Data_common_list.List module.
Added the filter_map_to_list function to the Data_common_set.Set module.
Working on the conflict groups for binpacking problem generation.
Added the "cartesian_product" function to Data_common_list.List module.
All the parts necessary for adding component conflict information to binpacking problem output is there. Now we just need to iron it out a little bit, because it looks quite messy for now.
Details:
Added an ATD file for treating the "coinst -conflicts" output.
Modified the JSON binpacking ATD file to include incompatibility information.
Prepared a crude version of generation of the incompatibility information in the Json_binpacking_problem_of module. The actual generation is not triggered, I've commented it out after testing a little bit, because for now it is a work in progress and will not work everywhere (it requires my local corrected version of coinst and special directory structure).
!fixup Cosmetic changes in the Load_model module.