[FEATURE] Allow specifying a solubility file

[hadarshavit]

Is your feature request related to a problem? Please describe.
Allow user to give a CSV file with solutions (SAT/UNSAT) for instances. Then, when a solver returns an answer, verify the solution is the same as the ground truth.

Describe the solution you'd like
Allow user to specify a file with ground truths like in the GenericWrapper4AC: https://github.com/automl/GenericWrapper4AC/blob/master/genericWrapper4AC/domain_specific/satwrapper.py (solubility_file)

Describe alternatives you've considered
Just verifying SAT, however this would cause a problem in case a solver returns UNSAT for a SAT instance.

Additional context
N/A