diff --git a/LICENSE b/LICENSE
new file mode 100644
index 0000000000000000000000000000000000000000..09411740f42161dc063d3ec9f664dd7ded3ed57d
--- /dev/null
+++ b/LICENSE
@@ -0,0 +1,36 @@
+ The SAT4J project makes available all content in this plug-in ("Content"). Your use of the Content is governed by
+   the terms and conditions of the Eclipse Public License Version 1.0 ("EPL"). A copy of the EPL is available at
+   http://www.eclipse.org/legal/epl-v10.html. For purposes of the EPL, "Program" will mean the Content.
+   Alternatively, the Content may be obtained from the SAT4J project website at http://www.sat4j.org/ for use under
+   the terms of either the GNU Lesser General Public License Version 2.1 or later (the "LGPL"), in which case the
+   provisions of the LGPL are applicable instead of those above. If you wish to allow use of your version of the
+   Content only under the terms of the LGPL, and not to allow others to use your version of this Content under the
+   terms of the EPL, indicate your decision by deleting the provisions above and replace them with the notice and
+   other provisions required by the LGPL. If you do not delete the provisions above, a recipient may use your
+   version of this file under the terms of the EPL or the LGPL.
+   The Eclipse Foundation elects to include this software in this distribution under the EPL license. The source
+   code for this plug-in can be obtained from the SAT4J project website at http://www.sat4j.org/
+   SAT4J includes content that was obtained under licenses that differ from the SAT4J licenses.
+   The content in the following classes
+     * org/sat4j/core/Vec.java
+     * org/sat4j/core/VecInt.java
+     * org/sat4j/minisat/core/Solver.java
+   is based on code obtained from the Minisat 1.1.4 implementation, the source code for which can be found at
+   www.minisat.se, under the following permissive license:
+   MiniSat -- Copyright (c) 2003-2005, Niklas Een, Niklas Sorensson
+   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.
\ No newline at end of file