Manifest-Version: 1.0
Created-By: Vlad_kv
Class-Path: ./org.sat4j.core.jar ./org.sat4j.pb.jar ./args4j-2.33.jar
Main-Class: inport.Main