Commit fb03f7d1 authored by leberre's avatar leberre

Initial import of the command line interface for SAT researchers.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@18 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent fa5a8f6d
<?xml version="1.0" encoding="UTF-8"?>
<classpath>
<classpathentry kind="src" path="src/main/java"/>
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
<classpathentry kind="output" path="bin"/>
</classpath>
<?xml version="1.0" encoding="UTF-8"?>
<projectDescription>
<name>org.sat4j.sat</name>
<comment></comment>
<projects>
</projects>
<buildSpec>
<buildCommand>
<name>org.eclipse.jdt.core.javabuilder</name>
<arguments>
</arguments>
</buildCommand>
<buildCommand>
<name>org.eclipse.pde.ManifestBuilder</name>
<arguments>
</arguments>
</buildCommand>
<buildCommand>
<name>org.eclipse.pde.SchemaBuilder</name>
<arguments>
</arguments>
</buildCommand>
</buildSpec>
<natures>
<nature>org.eclipse.jdt.core.javanature</nature>
<nature>org.eclipse.pde.PluginNature</nature>
</natures>
</projectDescription>
Manifest-Version: 1.0
Built-By: Daniel Le Berre
Main-Class: org.sat4j.Lanceur
Specification-Title: SAT4J
Specification-Version: NA
Specification-Vendor: Daniel Le Berre
Implementation-Title: SAT4J
Implementation-Version: 2.0
Implementation-Vendor: CRIL CNRS UMR 8188 - Universite d'Artois
Class-Path: org.sat4j.core.jar lib/commons-beanutils.jar lib/commons-cli.jar lib/commons-logging.jar
Export-Package: org.sat4j
Bundle-SymbolicName: org.sat4j.sat
Bundle-Version: 9.9.9.token
Bundle-Name: %bundleName
Bundle-Vendor: %providerName
Bundle-RequiredExecutionEnvironment: J2SE-1.4
Require-Bundle: org.sat4j.core;bundle-version="9.9.9",
org.apache.commons.cli;bundle-version="1.0.0"
source.. = src/
bin.includes = META-INF/,\
.
jars.compile.order = .
This diff is collapsed.
<body>
SAT4J: a SATisfiability library for Java.
<pre>
/*
* SAT4J: a SATisfiability library for Java
* Copyright (C) 2004-2006 Daniel Le Berre
*
* Based on the original minisat specification from:
*
* An extensible SAT solver. Niklas Eén and Niklas Sörensson.
* Proceedings of the Sixth International Conference on Theory
* and Applications of Satisfiability Testing, LNCS 2919,
* pp 502-518, 2003.
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public
* License as published by the Free Software Foundation; either
* version 2.1 of the License, or (at your option) any later version.
*
* This library is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
* Lesser General Public License for more details.
*
* You should have received a copy of the GNU Lesser General Public
* License along with this library; if not, write to the Free Software
* Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
*
*/
</pre>
</body>
\ No newline at end of file
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