$\texttt{codesign-mcdp}$: A Python Library for Monotone Co-Design Problems
$\texttt{codesign-mcdp}$ is a Python library for formulating and solving $\textit{Monotone Co-Design Problems}$ (MCDPs) in the framework of Censi (2015). A design problem is a relation between two posets, a functionality poset $F$ and a resource poset $R$; given a target functionality, the problem asks for the antichain of minimal resources needed to deliver it. Design problems compose under three operators (series, parallel, feedback), and the resulting class is closed under composition. The library implements the antichain calculus, six primitive design-problem types, the three composition…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2607.18415
curl -X POST /api/v1/records/arxiv/2607.18415/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.18415/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'