Prioritized Labels
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
Prioritized label