• Home
• org.sat4j
• org.sat4j.maxsat
• 2.3.1
• source code
• package.html

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

org.sat4j.maxsat.package.html Maven / Gradle / Ivy

MAXSAT and Weighted Max SAT framework.

That package contains various optimization decorators for solving optimization 
problems such as MAX-SAT, Weighted MAX-SAT, etc.


Those decorators are supposed to be used with the Abstract Optimization Launcher.