Usage

The programs use configuration files in yaml format. A sample config is located in LineCoverage-library/config/.

database:path is the path to the directory that contains your data files, e.g., LineCoverage-dataset/most_pop_50cities.

database:data_dir is the name of the directory (inside database:path) that contains the data for the instance for which you wish to run your program.

problem: set to slc or mlc.
Set solver_slc and solver_mlc accordingly.

To view the solutions go into the respective directory <dabase:path>/<database:data_dir>