Z3DowngradingSolver A Z3 solver wrapper downgrading the range of a given program condition in case of unknown or timeout results from plain Z3 solving. As the project name changes, the Java class names are subject to change too.