package.html 282 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10
<body>
MAXSAT and Weighted Max SAT framework.
<p>
That package contains various optimization decorators for solving optimization 
problems such as MAX-SAT, Weighted MAX-SAT, etc.
</p>
<p>
Those decorators are supposed to be used with the Abstract Optimization Launcher.
</p>
</body>