[Issue with validation set][provide dataset]

[AdrienBenamira]

Thank you very much for your work and this repo.

I face an issue because I do not have the validation set, despite the parameter -g is True

Traceback (most recent call last):
File "src/satyr-train-test.py", line 148, in
args.cpu_mode, args.reset, args.use_generator, args.batch_replication)
File "src/satyr-train-test.py", line 103, in run
train_epoch_size=config['train_epoch_size'])
File "./src/pdp/factorgraph/base.py", line 326, in train
num_workers=self._num_cores, max_cache_size=self._config['max_cache_size'])
File "./src/pdp/factorgraph/dataset.py", line 201, in get_loader
batch_replication=batch_replication)
File "./src/pdp/factorgraph/dataset.py", line 92, in init
with open(self._input_file, 'r') as fh_input:

FileNotFoundError: [Errno 2] No such file or directory: '../../datasets/SAT/M-4SAT-validation-2/M-4SAT-validation-2_0_7.0_10.0.json'

Could you provide the validation and the test set please ?

Thnak you in advance

[shi27feng]

Same question here

[BrandonBian]

Same question here +1.

[Tommiyi]

Same question here