Skip to content

Latest commit

 

History

History
29 lines (18 loc) · 873 Bytes

README.md

File metadata and controls

29 lines (18 loc) · 873 Bytes

EasyCSP is an open-source Java library for Constraint Satisfaction Programming.

EasyCSP is an open-source Java library for Constraint Satisfaction Programming.

EasyCSP offers search algorithms for both CSPs and CSOPs.

EasyCSP supports CSPs to be defined using objects or int expressions.

Dependencies

Requires Java 8 or later.

Release Notes

Release 1.3.1

  • refactored: Solution API and generics in general.
  • performance: avoid int-Integer autoboxing for int CSPs.
  • fix: int expression binarization issue.

Release 1.2.1

  • fix: ConflictMinimizing search algorithm bug.
  • feature: added full support (algorithms and API) for int specific CSPs and CSOPs.

Release 1.2.0

  • fix: IntDomain size() bug when containing both positive and negative ints.
  • feature: added int specific model classes, constraint expressions API and specialized search algorithm.