MasahiroSakai
Uploads
- decision-diagrams@0.2.0.0-4 uploaded . latest
- sign@0.4.4-4 uploaded . latest
- logic-TPTP@0.6.0.0-0 uploaded . latest
- sequitur@0.2.0.0-1 uploaded . latest
- logic-TPTP@0.5.1.0-0 uploaded .
- MIP@0.1.2.0-0 uploaded . latest
- sign@0.4.4-3 uploaded .
- pseudo-boolean@0.1.11.0-1 uploaded . latest
- sequitur@0.2.0.0-0 uploaded .
- sequitur@0.1.0.0-0 uploaded .
- OptDir@0.1.0-0 uploaded . latest
- pseudo-boolean@0.1.11.0-0 uploaded .
- bytestring-encoding@0.1.2.0-1 uploaded . latest
- numeric-optimization@0.1.1.0-0 uploaded . latest
- pseudo-boolean@0.1.10.0-4 uploaded .
- decision-diagrams@0.2.0.0-3 uploaded .
- toysolver@0.8.0-2 uploaded .
- toysolver@0.7.0-5 uploaded .
- toysolver@0.6.0-5 uploaded .
- toysolver@0.8.1-1 uploaded . latest
- logic-TPTP@0.2.0-2 uploaded .
- logic-TPTP@0.2.0.1-2 uploaded .
- logic-TPTP@0.2.0.3-2 uploaded .
- logic-TPTP@0.2.0.4-2 uploaded .
- logic-TPTP@0.2.0.6-2 uploaded .
- logic-TPTP@0.2.0.7-2 uploaded .
- logic-TPTP@0.3.0.0-2 uploaded .
- logic-TPTP@0.3.0.1-2 uploaded .
- logic-TPTP@0.3.0.2-2 uploaded .
- logic-TPTP@0.4.0.0-2 uploaded .
- logic-TPTP@0.4.1.0-2 uploaded .
- logic-TPTP@0.4.2.0-2 uploaded .
- logic-TPTP@0.4.3.0-2 uploaded .
- logic-TPTP@0.4.4.0-2 uploaded .
- logic-TPTP@0.4.5.0-2 uploaded .
- logic-TPTP@0.4.6.0-2 uploaded .
- logic-TPTP@0.4.7.0-2 uploaded .
- logic-TPTP@0.5.0.0-4 uploaded .
- logic-TPTP@0.5.0.0-3 uploaded .
- logic-TPTP@0.1-1 uploaded .
- logic-TPTP@0.2.0-1 uploaded .
- logic-TPTP@0.2.0.1-1 uploaded .
- logic-TPTP@0.2.0.3-1 uploaded .
- logic-TPTP@0.2.0.4-1 uploaded .
- logic-TPTP@0.2.0.6-1 uploaded .
- logic-TPTP@0.2.0.7-1 uploaded .
- logic-TPTP@0.3.0.0-1 uploaded .
- logic-TPTP@0.3.0.1-1 uploaded .
- logic-TPTP@0.3.0.2-1 uploaded .
- logic-TPTP@0.4.0.0-1 uploaded .
- logic-TPTP@0.4.1.0-1 uploaded .
- logic-TPTP@0.4.2.0-1 uploaded .
- logic-TPTP@0.4.3.0-1 uploaded .
- logic-TPTP@0.4.4.0-1 uploaded .
- logic-TPTP@0.4.5.0-1 uploaded .
- logic-TPTP@0.4.6.0-1 uploaded .
- logic-TPTP@0.4.7.0-1 uploaded .
- logic-TPTP@0.5.0.0-2 uploaded .
- numeric-optimization-backprop@0.1.0.1-0 uploaded . latest
- numeric-optimization-ad@0.1.0.1-0 uploaded . latest
- numeric-optimization@0.1.0.1-0 uploaded .
- numeric-optimization-backprop@0.1.0.0-0 uploaded .
- numeric-optimization-ad@0.1.0.0-0 uploaded .
- numeric-optimization@0.1.0.0-0 uploaded .
Packages
- bytestring-encoding
- CPL
- data-interval
- decision-diagrams
- ersatz-toysat
- extended-reals
- finite-field
- logic-TPTP
- menoh
- MIP
- MIP-glpk
- nonlinear-optimization-ad
- nonlinear-optimization-backprop
- numeric-optimization
- numeric-optimization-ad
- numeric-optimization-backprop
- OptDir
- pseudo-boolean
- PTQ
- satchmo-toysat
- sequitur
- sign
- toysolver