Skip to content

Prioritized labels

Drag to reorder prioritized labels and change their relative priority.

Other labels

  • case studies
    SAT4J / sat4j
    That book is meant to help people getting started with Sat4j by example.
  • core
    SAT4J / sat4j
    core SAT engine, based on the minisat framework.
  • csp
    SAT4J / sat4j
    Basic CSP to SAT translator, including optimization support
  • maxsat
    SAT4J / sat4j
    a library of maxsat solvers based on both the pseudo and core components.
  • prio=Blocker
    SAT4J / sat4j
    issue priority
  • prio=Critical
    SAT4J / sat4j
    issue priority
  • prio=Major
    SAT4J / sat4j
    issue priority
  • prio=Minor
    SAT4J / sat4j
    issue priority
  • prio=Trivial
    SAT4J / sat4j
    issue priority
  • pseudo
    SAT4J / sat4j
    The library of pseudo boolean solvers based on the core framework.
  • type=Bug
    SAT4J / sat4j
    issue Type
  • type=Improvement
    SAT4J / sat4j
    issue Type
  • type=New Feature
    SAT4J / sat4j
    issue Type
  • type=Question
    SAT4J / sat4j
    issue Type
  • type=Sub-task
    SAT4J / sat4j
    issue Type
  • type=Task
    SAT4J / sat4j
    issue Type
  • visualization
    SAT4J / sat4j
    The visualization framework (aka remote control)