Modified bellman See bellman-demo for usage examples. Docker Create container: docker build -t bellman . Run bench: docker run bellman bench [num_constraints]