Pygplib

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

Fixed
^^^^^
- recon.py: trans_type could not be changed from default type "TJ".
- recon.py: the strings of init state and final state were incorrectly computed when these
states are given as sets in a formula file.
- ecc.py: exception unintentially raised when clique encoding is selected and a
graph includes a vertex of degree 1.

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

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.