fix: bringing chages to master (#113)

* Update README.md

* fix: Excludes transformation to CNF recursively

* docs: correct spelling of README (#100)

Co-authored-by: Pablo Pazo Jiménez <43904563+pabpazjim@users.noreply.github.com>

* docs: correct spelling of README (#101)

Co-authored-by: Pablo Pazo Jiménez <43904563+pabpazjim@users.noreply.github.com>

* docs: Updating the link to the website

* fix: bring updates from master to develop (#111)

* fix: Excludes transformation to CNF recursively

* fix: Excludes transformation to CNF recursively

* docs: correct spelling of README (#100)

Co-authored-by: Pablo Pazo Jiménez <43904563+pabpazjim@users.noreply.github.com>
Co-authored-by: José Miguel Horcas <horcas@lcc.uma.es>

* fix: Update diverso_lab.py to avoid problem when calling from the com… (#109)

fig: Update diverso_lab.py to avoid problem when calling from the command line

This commit updates the use of optional on python 3.9, it also corrects the problem of passing configuraiton filesfrom the command line

* fix: Missing operation to return the operation object for advanced us… (#110)

fix: Missing operation to return the operation object for advanced ussage

---------

Co-authored-by: Pablo Pazo Jiménez <43904563+pabpazjim@users.noreply.github.com>
Co-authored-by: José Miguel Horcas <horcas@lcc.uma.es>

---------

Co-authored-by: Pablo Pazo Jiménez <43904563+pabpazjim@users.noreply.github.com>
Co-authored-by: José Miguel Horcas <horcas@lcc.uma.es>