Supporting code
Boolean Oracles by Waiting
Work in progress. Not all claims have been verified by a human.
Run these commands from the code directory:
python3 -m pip install -r requirements.txt
python3 scripts/check_bounds.py
python3 scripts/check_capacity.py