Commit 481f5c8b authored by Daniel Le Berre's avatar Daniel Le Berre

Make more objects serializable.

parent 3112b5f6
Pipeline #3351 canceled with stages
......@@ -29,6 +29,8 @@
*******************************************************************************/
package org.sat4j.minisat.core;
import java.io.Serializable;
import org.sat4j.specs.Constr;
import org.sat4j.specs.IVec;
import org.sat4j.specs.Propagatable;
......@@ -51,7 +53,7 @@ import org.sat4j.specs.Propagatable;
*
* @author leberre
*/
public interface ILits {
public interface ILits extends Serializable {
int UNDEFINED = -1;
......
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