Skip to content

GitLab

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