https://github.com/cordisvictor/easycsp-lib

EasyCSP is an open-source Java library for Constraint Satisfaction Programming. Supports CSPs, CSOPs, discrete object domains, int interval domains, int constraint binarization. Examples include NQueens, Sudoku. (Builds on Sourceforge)
https://github.com/cordisvictor/easycsp-lib

constraint-optimisation-problem constraint-programming constraint-satisfaction-problem constraint-solver forward-checking java java11 java17 java21 java8

Last synced: 5 months ago
JSON representation

EasyCSP is an open-source Java library for Constraint Satisfaction Programming. Supports CSPs, CSOPs, discrete object domains, int interval domains, int constraint binarization. Examples include NQueens, Sudoku. (Builds on Sourceforge)

• Host: GitHub
• URL: https://github.com/cordisvictor/easycsp-lib
• Owner: cordisvictor
• License: apache-2.0
• Created: 2019-07-28T13:10:49.000Z (almost 7 years ago)
• Default Branch: master
• Last Pushed: 2024-05-18T17:31:10.000Z (about 2 years ago)
• Last Synced: 2024-05-18T18:32:26.980Z (about 2 years ago)
• Topics: constraint-optimisation-problem, constraint-programming, constraint-satisfaction-problem, constraint-solver, forward-checking, java, java11, java17, java21, java8
• Language: Java
• Homepage: http://sourceforge.net/projects/easy-csp-lib/files/easycsp/
• Size: 449 KB
• Stars: 2
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

• awesome-java - EasyCSP

README

          
## 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.