Skip to content
GitLab
Explore
Sign in
SAT4J
sat4j
Labels
All
Updated date
Prioritized labels
Drag to reorder prioritized labels and change their relative priority.
Other labels
type=Task
SAT4J / sat4j
issue Type
Issues
Merge requests
type=Question
SAT4J / sat4j
issue Type
Issues
Merge requests
type=Improvement
SAT4J / sat4j
issue Type
Issues
Merge requests
type=Sub-task
SAT4J / sat4j
issue Type
Issues
Merge requests
type=Bug
SAT4J / sat4j
issue Type
Issues
Merge requests
type=New Feature
SAT4J / sat4j
issue Type
Issues
Merge requests
prio=Blocker
SAT4J / sat4j
issue priority
Issues
Merge requests
prio=Critical
SAT4J / sat4j
issue priority
Issues
Merge requests
prio=Trivial
SAT4J / sat4j
issue priority
Issues
Merge requests
prio=Minor
SAT4J / sat4j
issue priority
Issues
Merge requests
core
SAT4J / sat4j
core SAT engine, based on the minisat framework.
Issues
Merge requests
maxsat
SAT4J / sat4j
a library of maxsat solvers based on both the pseudo and core components.
Issues
Merge requests
visualization
SAT4J / sat4j
The visualization framework (aka remote control)
Issues
Merge requests
prio=Major
SAT4J / sat4j
issue priority
Issues
Merge requests
case studies
SAT4J / sat4j
That book is meant to help people getting started with Sat4j by example.
Issues
Merge requests
csp
SAT4J / sat4j
Basic CSP to SAT translator, including optimization support
Issues
Merge requests
pseudo
SAT4J / sat4j
The library of pseudo boolean solvers based on the core framework.
Issues
Merge requests
Prioritized