Commit 5d0a981f authored by Daniel Le Berre's avatar Daniel Le Berre
Browse files

Add missing import statements.

parent 3f3ae218
Pipeline #250 failed with stage
in 13 minutes and 36 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