CSP: Initial commit

csp/NOTICES

@@ -0,0 +1,39 @@
+Code used in this project
+
+-------------------------------------------------------------------------------
+
+# Azucar
+
+Azucar (A SAT-based CSP Solver) version 0.2.4
+
+Copyright (c) 2012
+by Tomoya Tanjo (tanjo @ nii.ac.jp),
+   Naoyuki Tamura (tamura @ kobe-u.ac.jp), and
+   Mutsunori Banbara (banbara @ kobe-u.ac.jp)
+All rights reserved.
+
+Redistribution and use in source and binary forms, with or without
+modification, are permitted provided that the following conditions are
+met:
+
+ * Redistributions of source code must retain the above copyright
+   notice, this list of conditions and the following disclaimer.
+ * Redistributions in binary form must reproduce the above copyright
+   notice, this list of conditions and the following disclaimer in the
+   documentation and/or other materials provided with the
+   distribution.
+ * Neither the name of the Kobe University nor the names of its
+   contributors may be used to endorse or promote products derived
+   from this software without specific prior written permission.
+
+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
+A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
+OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
+SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
+LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
+THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

csp/README.md

@@ -0,0 +1,9 @@
+# Developer Preview LogicNG 3 CSP
+
+TODO
+
+## Funding
+
+LogicNG development is partly funded by the [SofDCar project](https://sofdcar.de/):
+
+<a href="https://www.sofdcar.de"><img src="https://github.com/booleworks/logicng-core/blob/main/doc/logo/bmwk.png" alt="logo" width="200"></a>

csp/pom.xml

@@ -107,6 +107,10 @@
           <useSystemClassLoader>false</useSystemClassLoader>
           <trimStackTrace>false</trimStackTrace>
           <argLine>-Xmx2g</argLine>
+          <properties>
+            <!-- Only execute standard unit tests without tag -->
+            <groups>none()</groups>
+          </properties>
         </configuration>
       </plugin>
     </plugins>