Commit 7f0dcd16 authored by Daniel Le Berre's avatar Daniel Le Berre

Add missing import statements.

parent 11a38276
Pipeline #251 failed with stage
in 12 minutes and 57 seconds
......@@ -31,6 +31,8 @@ package org.sat4j.pb.constraints.pb;
import java.math.BigInteger;
import java.util.*;
import org.sat4j.core.VecInt;
import org.sat4j.minisat.constraints.cnf.Lits;
import org.sat4j.minisat.core.ILits;
......
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