Sensor covering research work using z3 solver
Requires z3 solver Python IDE be installed. Can be done using 'pip install z3-solver' Requires NetworkX Python IDE to be installed for graph interface.
'xvalues.txt' files contain spacings along x axis for discretized grids. 'yvalues.txt' files contain spacingw along y axis for discretized grids. 'objects.txt' files contain coordinate representations of object locations in discretized space. (i.e. (0,1))