Pygplib

--------------------------

Added
^^^^^

- Made it possible for constructor of Cnf to accept not only tuple but also list as input.

--------------------------

Changed
^^^^^^^

- Update documentation

--------------------------

Deprecated
^^^^^^^^^^

- propnize() and reduce() have been deprecated and will be removed in v3.0.0.


Changed
^^^^^^^

- Renamed propnize() to perform_boolean_encoding().
- Renamed reduce() to reduce_formula().
- Renamed class variable bipartite_order to partitioning_order.

Cleaned
^^^^^^^

- Changed code so that partitioning_order is not accessed outside binop_batch().

--------------------------

Added
^^^^^

- Implemented log-encoding in GrSt class.
- Added tests for log-encoding.

Changed
^^^^^^^

- Changed test_bmc() to validation for all solutions.

--------------------------

Fixed
^^^^^

- Fixed direct-encoding of GrSt class
- Fixed initialization of Ecc object for a graph with isolated vertex (vertex without neighboring vertex).

Changed
^^^^^^^

- Cleaned the code of GrSt class.
- Improved tests for GrSt class.

--------------------------

Added
^^^^^

- Added ``BUILDING.rst`` and ``CODE_OF_CONDUCT.md``.
- Added ``pyproject.toml`` to build and package project with poetry.
- Aded ``tox.ini`` and ``.github/*`` for continuous integration.
- Added rst files and ``requirements.txt`` in ``docs/`` and ``.readthedocs.yaml`` for tutorial documentation in Read the Docs.
- Added ``pygplib/ecc.py`` for insourcing of the edge-clique-cover computation.
- Implemented direct-encoding for domain of discource.

Removed
^^^^^^^

- Removed ``tools/``, ``tests/test_solver.py``, ``pygplib/util.py`` and ``tests/test_util.py`` to remove depedencies to third-party tools.

Changed
^^^^^^^

- Changed ``README.md`` to ``README.rst`` and moved tutorial documentation in it to Read the Docs.
- Renamed ``Fo`` class to ``Fog`` class, ``pygplib/fo.py`` to ``pygplib/fog.py``, ``tests/test_fo.py`` to ``tests/test_fog.py``, and ``tests/test_fo_excp.py`` to ``tests/teste_fog_excp.py``.
- Reorganized ``pygplib/st.py`` and divided it to ``pygplib/symrelst.py``, ``pygplib/baserelst.py``, and ``pygplib/be.py`` (added corresponding test files in ``tests/``).
- Updated ``pygplib/grst.py`` so that

- ``GrSt`` object is initialized with a vertex-list and a edge-list, and the ECC computation is performed in the initialization.
- the interpretation of relation symbols ``=`` and ``edg`` as well as ``compute_domain_constraint()`` are included in ``pygplib/gsrt.py``, making ``Fog`` class and ``op.py`` indepedent of domain encoding.

- Changed the format of first-order formulas (negation, existential and universal quantifiers) to make it compartible with TPTP format.
- Renamed ``decode_assign()`` of ``pygplib/cnf.py`` to ``decode_assignment()`` and changed an output assignment so that auxiliary variables are ignored.
- Renamed ``get_interpretation_of_assign()`` of ``GrSt`` to ``decode_assignment()`` and changed an output assignment so that first-order variables' indices are associated with constant symbol indices.
- Removed field ``st`` in formula class and changed to give relational structure as argument of each method that requires it.
- Changed API of ``compute_domain_constraint()`` so that the input is an index of a free variable and the output is a Prop formula object.