Prioritized Labels

Star labels to start sorting by priority

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