The cvc4 project's README file is empty or unavailable.