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