moved existing code to core module

.gitignore

@@ -14,15 +14,15 @@ target/
 .sonar/
 
 # test logs
-src/test/resources/maxsat/log.txt
-src/test/resources/partialmaxsat/log.txt
-src/test/resources/partialweightedmaxsat/log.txt
+core/src/test/resources/maxsat/log.txt
+core/src/test/resources/partialmaxsat/log.txt
+core/src/test/resources/partialweightedmaxsat/log.txt
 
 # test temporary files
-src/test/resources/writers/temp/*.dot
-src/test/resources/writers/temp/*.txt
-src/test/resources/writers/temp/*.cnf
-src/test/resources/writers/temp/*.map
+core/src/test/resources/writers/temp/*.dot
+core/src/test/resources/writers/temp/*.txt
+core/src/test/resources/writers/temp/*.cnf
+core/src/test/resources/writers/temp/*.map
 
 # LSP
 .settings

core/pom.xml

@@ -0,0 +1,333 @@
+<!--                   __                _      _   ________               -->
+<!--                  / /   ____  ____ _(_)____/ | / / ____/               -->
+<!--                 / /   / __ \/ __ `/ / ___/  |/ / / __                 -->
+<!--                / /___/ /_/ / /_/ / / /__/ /|  / /_/ /                 -->
+<!--               /_____/\____/\__, /_/\___/_/ |_/\____/                  -->
+<!--                           /____/                                      -->
+<!--                                                                       -->
+<!--               The Next Generation Logic Library                       -->
+<!--                                                                       -->
+<!--  Copyright 2015-20xx Christoph Zengler                                -->
+<!--                                                                       -->
+<!--  Licensed under the Apache License, Version 2.0 (the "License");      -->
+<!--  you may not use this file except in compliance with the License.     -->
+<!--  You may obtain a copy of the License at                              -->
+<!--                                                                       -->
+<!--  http://www.apache.org/licenses/LICENSE-2.0                           -->
+<!--                                                                       -->
+<!--  Unless required by applicable law or agreed to in writing, software  -->
+<!--  distributed under the License is distributed on an "AS IS" BASIS,    -->
+<!--  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or      -->
+<!--  implied.  See the License for the specific language governing        -->
+<!--  permissions and limitations under the License.                       -->
+
+<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+         xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/maven-v4_0_0.xsd">
+  <modelVersion>4.0.0</modelVersion>
+
+  <parent>
+    <groupId>org.logicng</groupId>
+    <artifactId>logicng-pom</artifactId>
+    <version>2.5.0-SNAPSHOT</version>
+  </parent>
+
+  <artifactId>logicng-core</artifactId>
+  <packaging>bundle</packaging>
+
+  <build>
+    <resources>
+      <resource>
+        <directory>src/main/resources</directory>
+        <includes>
+          <include>org/logicng/version.txt</include>
+        </includes>
+        <filtering>true</filtering>
+      </resource>
+    </resources>
+
+    <plugins>
+      <!-- ANTLR4 (Parser Generation)  -->
+      <plugin>
+        <groupId>org.antlr</groupId>
+        <artifactId>antlr4-maven-plugin</artifactId>
+        <version>${version.antlr-plugin}</version>
+        <configuration>
+          <sourceDirectory>src/main/antlr</sourceDirectory>
+          <outputDirectory>target/generated-sources/antlr/org/logicng/io/parsers</outputDirectory>
+        </configuration>
+        <executions>
+          <execution>
+            <goals>
+              <goal>antlr4</goal>
+            </goals>
+          </execution>
+        </executions>
+      </plugin>
+
+      <plugin>
+        <groupId>org.apache.maven.plugins</groupId>
+        <artifactId>maven-compiler-plugin</artifactId>
+        <version>${version.maven-compiler}</version>
+      </plugin>
+
+      <!-- Store POM version in application manifest and set Jigsaw module name-->
+      <plugin>
+        <groupId>org.apache.maven.plugins</groupId>
+        <artifactId>maven-jar-plugin</artifactId>
+        <version>${version.maven-jar}</version>
+        <configuration>
+          <skipIfEmpty>true</skipIfEmpty>
+          <archive>
+            <manifest>
+              <addDefaultSpecificationEntries>true</addDefaultSpecificationEntries>
+              <addDefaultImplementationEntries>true</addDefaultImplementationEntries>
+            </manifest>
+            <manifestEntries>
+              <Built-By>BooleWorks GmbH</Built-By>
+              <Automatic-Module-Name>logicng</Automatic-Module-Name>
+            </manifestEntries>
+          </archive>
+        </configuration>
+      </plugin>
+
+      <!-- Compile jar with sources -->
+      <plugin>
+        <groupId>org.apache.maven.plugins</groupId>
+        <artifactId>maven-source-plugin</artifactId>
+        <version>${version.maven-source}</version>
+        <executions>
+          <execution>
+            <id>attach-sources</id>
+            <goals>
+              <goal>jar</goal>
+            </goals>
+          </execution>
+        </executions>
+      </plugin>
+
+      <!-- Compile jar with javadocs -->
+      <plugin>
+        <groupId>org.apache.maven.plugins</groupId>
+        <artifactId>maven-javadoc-plugin</artifactId>
+        <version>${version.maven-javadoc}</version>
+        <executions>
+          <execution>
+            <id>attach-javadocs</id>
+            <goals>
+              <goal>jar</goal>
+            </goals>
+          </execution>
+        </executions>
+      </plugin>
+
+      <!-- JaCoCo (Test Coverage)  -->
+      <plugin>
+        <groupId>org.jacoco</groupId>
+        <artifactId>jacoco-maven-plugin</artifactId>
+        <version>${version.jacoco}</version>
+        <configuration>
+          <excludes>
+            <exclude>**/LogicNGPropositional*</exclude>
+            <exclude>**/LogicNGPseudoBoolean*</exclude>
+          </excludes>
+        </configuration>
+        <executions>
+          <execution>
+            <id>default-prepare-agent</id>
+            <goals>
+              <goal>prepare-agent</goal>
+            </goals>
+          </execution>
+          <execution>
+            <id>default-report</id>
+            <phase>prepare-package</phase>
+            <goals>
+              <goal>report</goal>
+            </goals>
+          </execution>
+          <execution>
+            <id>default-check</id>
+            <goals>
+              <goal>check</goal>
+            </goals>
+            <configuration>
+              <rules>
+                <rule>
+                  <element>BUNDLE</element>
+                </rule>
+              </rules>
+            </configuration>
+          </execution>
+        </executions>
+      </plugin>
+
+      <!-- Support for OSGi -->
+      <plugin>
+        <groupId>org.apache.felix</groupId>
+        <artifactId>maven-bundle-plugin</artifactId>
+        <version>${version.osgi-plugin}</version>
+        <extensions>true</extensions>
+        <configuration>
+          <instructions>
+            <Bundle-RequiredExecutionEnvironment>JavaSE-1.8</Bundle-RequiredExecutionEnvironment>
+          </instructions>
+        </configuration>
+      </plugin>
+
+      <!-- Coveralls.io test coverage -->
+      <plugin>
+        <groupId>org.eluder.coveralls</groupId>
+        <artifactId>coveralls-maven-plugin</artifactId>
+        <version>${version.coveralls}</version>
+        <configuration>
+          <sourceDirectories>
+            <sourceDirectory>target/generated-sources/antlr</sourceDirectory>
+          </sourceDirectories>
+        </configuration>
+      </plugin>
+
+      <!-- Necessary for Wercker toolchain -->
+      <plugin>
+        <groupId>org.apache.maven.plugins</groupId>
+        <artifactId>maven-surefire-plugin</artifactId>
+        <version>${version.surefire}</version>
+        <configuration>
+          <useSystemClassLoader>false</useSystemClassLoader>
+          <trimStackTrace>false</trimStackTrace>
+          <argLine>-Xmx2g</argLine>
+        </configuration>
+      </plugin>
+    </plugins>
+  </build>
+
+  <dependencies>
+    <!-- Parser -->
+    <dependency>
+      <groupId>org.antlr</groupId>
+      <artifactId>antlr4-runtime</artifactId>
+      <version>${version.antlr}</version>
+    </dependency>
+
+    <!-- Testing -->
+    <dependency>
+      <groupId>org.junit.jupiter</groupId>
+      <artifactId>junit-jupiter</artifactId>
+      <version>${version.junit}</version>
+      <scope>test</scope>
+    </dependency>
+
+    <dependency>
+      <groupId>org.junit.jupiter</groupId>
+      <artifactId>junit-jupiter-params</artifactId>
+      <version>${version.junit}</version>
+      <scope>test</scope>
+    </dependency>
+
+    <dependency>
+      <groupId>org.assertj</groupId>
+      <artifactId>assertj-core</artifactId>
+      <version>${version.assertj}</version>
+      <scope>test</scope>
+    </dependency>
+
+    <dependency>
+      <groupId>org.mockito</groupId>
+      <artifactId>mockito-core</artifactId>
+      <version>${version.mockito}</version>
+      <scope>test</scope>
+    </dependency>
+
+    <dependency>
+      <groupId>org.mockito</groupId>
+      <artifactId>mockito-junit-jupiter</artifactId>
+      <version>${version.mockito}</version>
+      <scope>test</scope>
+    </dependency>
+
+    <dependency>
+      <groupId>org.mockito</groupId>
+      <artifactId>mockito-inline</artifactId>
+      <version>${version.mockito}</version>
+      <scope>test</scope>
+    </dependency>
+  </dependencies>
+
+  <pluginRepositories>
+    <pluginRepository>
+      <id>sonatype-nexus-snapshot</id>
+      <url>https://oss.sonatype.org/content/repositories/snapshots</url>
+      <releases>
+        <enabled>false</enabled>
+      </releases>
+      <snapshots>
+        <enabled>true</enabled>
+      </snapshots>
+    </pluginRepository>
+  </pluginRepositories>
+
+  <profiles>
+    <profile>
+      <id>release</id>
+      <build>
+        <plugins>
+          <!-- Deploy to Maven Central -->
+          <plugin>
+            <groupId>org.sonatype.plugins</groupId>
+            <artifactId>nexus-staging-maven-plugin</artifactId>
+            <version>${version.nexus-staging}</version>
+            <extensions>true</extensions>
+            <configuration>
+              <serverId>ossrh</serverId>
+              <nexusUrl>https://oss.sonatype.org/</nexusUrl>
+              <autoReleaseAfterClose>false</autoReleaseAfterClose>
+            </configuration>
+          </plugin>
+
+          <!-- Sign components -->
+          <plugin>
+            <groupId>org.apache.maven.plugins</groupId>
+            <artifactId>maven-gpg-plugin</artifactId>
+            <version>${version.maven-gpg}</version>
+            <executions>
+              <execution>
+                <id>sign-artifacts</id>
+                <phase>verify</phase>
+                <goals>
+                  <goal>sign</goal>
+                </goals>
+              </execution>
+            </executions>
+          </plugin>
+        </plugins>
+      </build>
+    </profile>
+
+    <profile>
+      <id>all-tests</id>
+    </profile>
+
+    <profile>
+      <id>regular-tests</id>
+      <activation>
+        <activeByDefault>true</activeByDefault>
+      </activation>
+      <properties>
+        <excludedGroups>random,longRunning</excludedGroups>
+      </properties>
+    </profile>
+
+    <profile>
+      <id>long-running-tests</id>
+      <properties>
+        <groups>longRunning</groups>
+      </properties>
+    </profile>
+
+    <profile>
+      <id>random-tests</id>
+      <properties>
+        <groups>random</groups>
+      </properties>
+    </profile>
+  </profiles>
+</project>