optimization → category Relation

File in srcmainmodulesdedekindoptimization	Includes file in srcmainmodulesdedekindcategory
closure.cppm	category.cppm
lp.cppm	category.cppm