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

A Reader is now Serializable.

parent ba3bbe88
......@@ -33,6 +33,7 @@ import java.io.FileInputStream;
import java.io.IOException;
import java.io.InputStream;
import java.io.PrintWriter;
import java.io.Serializable;
import java.net.MalformedURLException;
import java.net.URL;
import java.util.Map;
......@@ -47,7 +48,12 @@ import org.sat4j.specs.IProblem;
*
* @author leberre
*/
public abstract class Reader {
public abstract class Reader implements Serializable {
/**
*
*/
private static final long serialVersionUID = 1L;
/**
* This is the usual method to feed a solver with a benchmark.
......
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