The VeriDis Project ANR Project IMPEX EB2ALL Grand Challenge The VeRiT solver