Skip to content

Latest commit

 

History

History
119 lines (80 loc) · 3.82 KB

CHANGES.rst

File metadata and controls

119 lines (80 loc) · 3.82 KB
Raw

CHANGES

Version 2.2.0 - 2024-09-09

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.

Version 2.1.0 - 2023-11-06

Added

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

Version 2.0.5 - 2023-11-04

Changed

  • Update documentation

Version 2.0.4 - 2023-11-04

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().

Version 2.0.3 - 2023-11-04

Added

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

Changed

  • Changed test_bmc() to validation for all solutions.

Version 2.0.2 - 2023-10-31

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.

Version 2.0.1 - 2023-10-29

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.