Skip to content

GitLab

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
sat4j
sat4j
  • Project overview
    • Project overview
    • Details
    • Activity
    • Releases
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 56
    • Issues 56
    • List
    • Boards
    • Labels
    • Service Desk
    • Milestones
  • Merge Requests 1
    • Merge Requests 1
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Operations
    • Operations
    • Incidents
    • Environments
  • Packages & Registries
    • Packages & Registries
    • Container Registry
  • Analytics
    • Analytics
    • CI/CD
    • Repository
    • Value Stream
  • Wiki
    • Wiki
  • Members
    • Members
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • SAT4J
  • sat4jsat4j
  • Issues
  • #33

Closed
Open
Created Aug 23, 2011 by Daniel Le Berre@leberreOwner

Improve project documentation (including web site)

Sat4j is mainly a research project, used to try our ideas around SAT. We start to receive more and more calls for help in the forums, which is nice because it shows that Sat4j is used, but it is also a sign that the documentation is not good enough.

The tools we are using have evolved recently. Jira for instance should appear prominently on the web site while it does not, so we need to redirect users there.

We are going to design a new web site for next year (2012). Please use this bug report to tell us what you would like to see there.

Assignee
Assign to
2.3.3
Milestone
2.3.3 (Past due)
Assign milestone
Time tracking
None
Due date
None