- Create a conda environment by running the following command:
conda env create -f environment.yml
- Activate the conda environment with
conda activate lnn
To train an LNN based on m-CNF, use the following command:
python3 m_cnf_lnn.py <file_name> <m>
In the above command, the file_name
is the common location of the dataset csv file and the training loss variation plot. Specifically, the dataset should be present at data/<file_name>.csv
and the training loss plot will be saved in figures/<file_name>.png
.
m
is the number of clauses in the m-CNF form of the LNN.