Commit b39dab52 authored by Daniel Le Berre's avatar Daniel Le Berre

Feature annotation.

parent ee9c972f
......@@ -29,9 +29,11 @@
package org.sat4j.maxsat;
import org.sat4j.annotations.Feature;
import org.sat4j.specs.IConstr;
import org.sat4j.specs.VarMapper;
public class UnitWeightedClause implements IConstr {
private static final UnitWeightedClause INSTANCE = new UnitWeightedClause();
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment