A Python implementation of the integer L-shaped method for solving two-stage stochastic programs. Implementation is based on the algorithm outlined in [Angulo 2016], and all of the implementation is ...
We have formally verified all non-trivial functions of this library using the Sui Prover. Verification was performed by Asymptotic in partnership with Bluefin. This library is a fork the widely-used ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results