feasible-form-parameter-design
My PhD codebase for reliable automated shape generation via miniKanren-esque (interval!) constraint programming, interval arithmetic design space representation, and variational B-spline optimization via automatic differentiation. This is the PhD codebase. When I get time I will make this presentable.