0d9930fa

By: CHANGE_ME <CHANGE@ME.ch>

Delete disconnected relation and elimination oracles
GitHub
configure