imported first MIT release (almost SAT Competition 2018) version

COPYING

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2010-2018 Armin Biere, Johannes Kepler University Linz, Austria
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

README

@@ -0,0 +1,33 @@
+These are the sources of the SAT solver Lingeling.
+The file VERSION contains the current version number.
+
+To build everything issue
+
+  ./configure.sh && make
+
+This will build the library 'liblgl.o', the sequential solver 'lingeling',
+its parallel version 'plingeling', and the cube & conquer solvers
+'treengeling' and 'ilingeling'.
+
+If you have a compiled copy of the AIGER library in '../aiger/', which
+can be obtained from 'http://fmv.jku.at/aiger' then the bounded
+model checker 'blimc' will also be build.
+
+If you need proof support add and compile the 'druplig' library in
+'../druplig/' from 'http://fmv.jku.at/druplig'.
+
+If you want to add local search (particularly useful for 'treengeling') add
+and compile 'yalsat' in '../yalsat/' from 'http://fmv.jku.at/yalsat'.
+
+Copyright, authors and license are described in COPYING.
+
+With release 'bcj', which in essence is the version submitted
+to the SAT Competition 2018, we moved to an MIT style license.
+
+A more recent version of Lingeling might be found at
+
+  http://fmv.jku.at/lingeling
+
+and this site might also contain more documentation.
+
+Thu May 17 11:45:27 CEST 2018

VERSION

@@ -0,0 +1 @@
+bcj