-
Ralf Jung authored
make world satisfaction not monotone nor anto-monotone wrt. the resource. that's not a property we want to use anywhere.
2b75e587
make world satisfaction not monotone nor anto-monotone wrt. the resource. that's not a property we want to use anywhere.