Masahiro Sakai
MasahiroSakai is part of the following groups:- Maintainers for CPL : candidates
- Maintainers for MIP-glpk : candidates
- Maintainers for MIP : candidates
- Maintainers for OptDir : candidates
- Maintainers for PTQ : candidates
- Maintainers for bytestring-encoding : candidates
- Maintainers for data-interval : candidates
- Maintainers for decision-diagrams : candidates
- Maintainers for ersatz-toysat : candidates
- Maintainers for extended-reals : candidates
- Maintainers for finite-field : candidates
- Maintainers for logic-TPTP : candidates
- Maintainers for menoh : candidates
- Maintainers for nonlinear-optimization-ad : candidates
- Maintainers for nonlinear-optimization-backprop : candidates
- Maintainers for numeric-optimization-ad : candidates
- Maintainers for numeric-optimization-backprop : candidates
- Maintainers for numeric-optimization : candidates
- Maintainers for pseudo-boolean : candidates
- Maintainers for satchmo-toysat : candidates
- Maintainers for sequitur : candidates
- Maintainers for sign : candidates
- Maintainers for toysolver : candidates
- Package uploaders
Click here to manage this account