Skip to content

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
    • Help
    • Submit feedback
    • Contribute to GitLab
  • Sign in
sat4j
sat4j
  • Project
    • Project
    • Details
    • Activity
    • Releases
    • Cycle Analytics
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
    • Charts
  • Issues 45
    • Issues 45
    • List
    • Board
    • Labels
    • Milestones
  • Merge Requests 0
    • Merge Requests 0
  • CI / CD
    • CI / CD
    • Pipelines
    • Jobs
    • Schedules
    • Charts
  • Registry
    • Registry
  • Wiki
    • Wiki
  • Members
    • Members
  • Collapse sidebar
  • Activity
  • Graph
  • Charts
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
  • SAT4J
  • sat4jsat4j
  • Issues
  • #133

Closed
Open
Opened Oct 27, 2015 by Daniel Le Berre@leberre
  • Report abuse
  • New issue
Report abuse New issue

Support XCSP 3 format

A new version of XCSP has just been released. http://xcsp.org/

The most important part of the new format is available in available in a subset of the spec, XCSP 3.0 core: http://xcsp.org/core/menuCore.html

Sat4j CSP should implement it to be used in the classroom with master students.

Assignee
Assign to
None
Milestone
None
Assign milestone
Time tracking
None
Due date
No due date
3
Labels
csp prio=Major type=New Feature
Assign labels
  • View project labels
Reference: sat4j/sat4j#133