non-ground-solver The file is provided by Dr. Marco Caminati for the TeamPlay project to retrive the value ranges for non-ground variables.