Updated sat4j.

visualon · Jun 21, 2017 · cde9ce2 · cde9ce2
1 parent 8865469
commit cde9ce2
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 8 deletions.
diff --git a/featureide.csproj b/featureide.csproj
@@ -22,7 +22,9 @@
   <ItemGroup>
     <None Include=".gitignore" />
     <None Include="de.ovgu.featureide.fm.jar" />
-    <None Include="packages.config" />
+    <None Include="packages.config">
+      <SubType>Designer</SubType>
+    </None>
   </ItemGroup>
   <ItemGroup>
     <None Include="build.ps1" />
@@ -31,19 +33,19 @@
     <None Include="LICENSE" />
     <None Include="README.md" />
   </ItemGroup>
+  <ItemGroup>
+    <Folder Include="Properties\" />
+  </ItemGroup>
   <ItemGroup>
     <Reference Include="org.sat4j.core">
-      <HintPath>packages\org.sat4j.core.2.3.5-rc04\lib\net20\org.sat4j.core.dll</HintPath>
+      <HintPath>packages\org.sat4j.core.2.3.5\lib\net20\org.sat4j.core.dll</HintPath>
       <Private>True</Private>
     </Reference>
     <Reference Include="org.sat4j.pb">
-      <HintPath>packages\org.sat4j.pb.2.3.5-rc04\lib\net20\org.sat4j.pb.dll</HintPath>
+      <HintPath>packages\org.sat4j.pb.2.3.5\lib\net20\org.sat4j.pb.dll</HintPath>
       <Private>True</Private>
     </Reference>
   </ItemGroup>
-  <ItemGroup>
-    <Folder Include="Properties\" />
-  </ItemGroup>
   <Target Name="Build">
     <MakeDir Directories="$(OutputPath)" Condition="!Exists('$(OutputPath)')" />
     <PropertyGroup>

diff --git a/packages.config b/packages.config
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="utf-8"?>
 <packages>
   <package id="IKVM" version="8.1.5717.0" targetFramework="net20" />
-  <package id="org.sat4j.core" version="2.3.5-rc04" targetFramework="net20" />
-  <package id="org.sat4j.pb" version="2.3.5-rc04" targetFramework="net20" />
+  <package id="org.sat4j.core" version="2.3.5" targetFramework="net20" />
+  <package id="org.sat4j.pb" version="2.3.5" targetFramework="net20" />
 </packages>