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