optimization Directory Reference

Directory dependency graph for optimization:

Files
	closure.cppm
	Single-source graph closure over a semiring, as a fold over its edges.
	lp.cppm
	Linear programming with the optimum as a typed constant.
	optimization.cppm
	Mathematical programming — optimum as a typed constant.