Repository navigation
docs: fix diffcp solver selection and default JAX batching examples - #254
Open
dajiaohuang wants to merge 1 commit into
Open
dajiaohuang wants to merge 1 commit into
dajiaohuang wants to merge 1 commit into
Commits
Commits on Oct 15, 2026