value alignment verification Set up the conda environment. Really just needs numpy python3 and scipy. conda env create -f environment.yml For an example of using the halfspace redundancy removal code see python src/linear_programming.py