debian/0000755000000000000000000000000012056730704007172 5ustar debian/compat0000644000000000000000000000000211651230701010360 0ustar 7 debian/source/0000755000000000000000000000000011324335501010463 5ustar debian/source/format0000644000000000000000000000001411361056571011701 0ustar 3.0 (quilt) debian/manpages0000644000000000000000000000001711651230673010706 0ustar debian/sat4j.1 debian/changelog0000644000000000000000000001103112056712470011040 0ustar sat4j (2.3.2-1) unstable; urgency=low * New upstream release * Bumped standards version to 3.9.4 (no changes) * Use target 1.5 instead of jsr14 as Java7 no longer allows generics with jsr14. Thanks Niels Thykier for the report and patch (closes: #678007) -- Michael Tautschnig Sun, 02 Dec 2012 17:45:35 +0000 sat4j (2.3.1-1) unstable; urgency=low * New upstream release * Bumped standards version to 3.9.3 (no changes) * Added link to existing (but CC-BY-NC-ND) documentation (closes: #635357) * No longer requires maxsat-as-patch -- Michael Tautschnig Sun, 04 Mar 2012 01:38:25 +0000 sat4j (2.3.0-3) unstable; urgency=low * Reworked debian/rules using dh+jh (closes: #641378) * Cleanup patch names to make dpkg happy * Build level 1.5 bytecode as requested on eclipse/linuxtools-dev -- Michael Tautschnig Mon, 24 Oct 2011 10:39:02 +0100 sat4j (2.3.0-2) unstable; urgency=low * Include maxsat solver (closes: #636784) -- Michael Tautschnig Wed, 10 Aug 2011 00:35:50 +0200 sat4j (2.3.0-1) unstable; urgency=low * New upstream release (closes: #630720) * Bumped standards version to 3.9.2 (no changes) -- Michael Tautschnig Thu, 16 Jun 2011 18:16:35 +0200 sat4j (2.2.3-1) unstable; urgency=low * New upstream release * Changed build-date from SQUEEZE to WHEEZY -- Michael Tautschnig Tue, 08 Feb 2011 18:36:34 +0100 sat4j (2.2.0-3) unstable; urgency=low * Replace BUILD_DATE property by fixed string "SQUEEZE" to make eclipse happy, changed Breaks to eclipse (<= 3.5.2-5) (closes: #592181) -- Michael Tautschnig Mon, 16 Aug 2010 12:43:47 +0200 sat4j (2.2.0-2) unstable; urgency=low * Disabled very expensive tests CompetPBRes(Min)?HTMixedConstraintsObjectiveLearningTest to fix FTBFS (closes: #591140) * Bumped standards version to 3.9.1 (no changes) -- Michael Tautschnig Sun, 01 Aug 2010 12:03:10 +0200 sat4j (2.2.0-1) unstable; urgency=low * New upstream release (closes: #586437) - added Breaks: eclipse (<= 3.5.2-3) as requested by eclipse devs -- Michael Tautschnig Thu, 24 Jun 2010 10:14:30 +0200 sat4j (2.1.1-3) unstable; urgency=low * Bumped standards version to 3.8.4 (no changes) * Use ${java:Depends} and javahelper to get proper dependencies (closes: #577479) -- Michael Tautschnig Tue, 13 Apr 2010 16:51:40 +0200 sat4j (2.1.1-2) unstable; urgency=low * Switch to dpkg-source 3.0 (quilt) format * Bumped priority to optional to aid eclipse (closes: #564439) * Updated watch file to cope with WebSVN * Added ${misc:Depends} as required by debhelper * Removed lintian override build-depends-without-arch-dep ant which isn't necessary anymore. -- Michael Tautschnig Sat, 16 Jan 2010 14:13:00 +0100 sat4j (2.1.1-1) unstable; urgency=low * New upstream release * Bumped standards version to 3.8.3 (no changes) -- Michael Tautschnig Mon, 02 Nov 2009 22:16:18 +0100 sat4j (2.0.5-2) unstable; urgency=low * Dropped use of junit, only junit4 remains (fixes spurious errors in unit tests) * Added lintian source override for build-depends-without-arch-dep ant * Reworded description as suggested by lintian (using-first-person) -- Michael Tautschnig Mon, 16 Feb 2009 11:35:25 +0000 sat4j (2.0.5-1) unstable; urgency=low * New upstream release * Replace use of /usr/bin/ant by proper java use (closes: #512007) * Fixed minor bug in shipped build.xml instead of using home-grown build.xml -- Michael Tautschnig Sat, 31 Jan 2009 12:30:40 +0000 sat4j (2.0.4-2) unstable; urgency=low * Run tests after build unless nocheck * Requires ant-optional -- Michael Tautschnig Sun, 02 Nov 2008 18:42:11 +0000 sat4j (2.0.4-1) unstable; urgency=low * New upstream version (closes: #494944) * Depend on proper java6 runtime (closes: #503796) -- Michael Tautschnig Sat, 01 Nov 2008 16:38:35 +0000 sat4j (2.0.2-1) unstable; urgency=low * New upstream version (closes: #493917) * Switching over to openjdk-6 to get package fit for main * Fixed warnings caused by errors in ant build file * Build-depends on ant because it is used in clean, added lintian override -- Michael Tautschnig Fri, 22 Aug 2008 14:04:11 +0000 sat4j (2.0.1-1) unstable; urgency=low * Initial release (Closes: #485127) -- Michael Tautschnig Tue, 22 Jul 2008 09:27:20 +0000 debian/dirs0000644000000000000000000000001011361072470010042 0ustar usr/bin debian/copyright0000644000000000000000000003667211324320025011127 0ustar This package was debianized by Michael Tautschnig on Sun, 08 Jun 2008 12:15:56 +0000. It was checked out from SVN at svn://svn.forge.objectweb.org/svnroot/sat4j/maven/tags/2_0_1/ and cleaned up as shown in debian/rules: get-orig-source Upstream Author: Daniel Le Berre Copyright: Copyright (C) 2004-2008 Daniel Le Berre License: SAT4J: a SATisfiability library for Java All rights reserved. Unless noted otherwise (see below) this program and the accompanying materials are made available under the terms of the Eclipse Public License v1.0: Eclipse Public License - v 1.0 THE ACCOMPANYING PROGRAM IS PROVIDED UNDER THE TERMS OF THIS ECLIPSE PUBLIC LICENSE ("AGREEMENT"). ANY USE, REPRODUCTION OR DISTRIBUTION OF THE PROGRAM CONSTITUTES RECIPIENT'S ACCEPTANCE OF THIS AGREEMENT. 1. DEFINITIONS "Contribution" means: a) in the case of the initial Contributor, the initial code and documentation distributed under this Agreement, and b) in the case of each subsequent Contributor: i) changes to the Program, and ii) additions to the Program; where such changes and/or additions to the Program originate from and are distributed by that particular Contributor. A Contribution 'originates' from a Contributor if it was added to the Program by such Contributor itself or anyone acting on such Contributor's behalf. Contributions do not include additions to the Program which: (i) are separate modules of software distributed in conjunction with the Program under their own license agreement, and (ii) are not derivative works of the Program. "Contributor" means any person or entity that distributes the Program. "Licensed Patents " mean patent claims licensable by a Contributor which are necessarily infringed by the use or sale of its Contribution alone or when combined with the Program. "Program" means the Contributions distributed in accordance with this Agreement. "Recipient" means anyone who receives the Program under this Agreement, including all Contributors. 2. GRANT OF RIGHTS a) Subject to the terms of this Agreement, each Contributor hereby grants Recipient a non-exclusive, worldwide, royalty-free copyright license to reproduce, prepare derivative works of, publicly display, publicly perform, distribute and sublicense the Contribution of such Contributor, if any, and such derivative works, in source code and object code form. b) Subject to the terms of this Agreement, each Contributor hereby grants Recipient a non-exclusive, worldwide, royalty-free patent license under Licensed Patents to make, use, sell, offer to sell, import and otherwise transfer the Contribution of such Contributor, if any, in source code and object code form. This patent license shall apply to the combination of the Contribution and the Program if, at the time the Contribution is added by the Contributor, such addition of the Contribution causes such combination to be covered by the Licensed Patents. The patent license shall not apply to any other combinations which include the Contribution. No hardware per se is licensed hereunder. c) Recipient understands that although each Contributor grants the licenses to its Contributions set forth herein, no assurances are provided by any Contributor that the Program does not infringe the patent or other intellectual property rights of any other entity. Each Contributor disclaims any liability to Recipient for claims brought by any other entity based on infringement of intellectual property rights or otherwise. As a condition to exercising the rights and licenses granted hereunder, each Recipient hereby assumes sole responsibility to secure any other intellectual property rights needed, if any. For example, if a third party patent license is required to allow Recipient to distribute the Program, it is Recipient's responsibility to acquire that license before distributing the Program. d) Each Contributor represents that to its knowledge it has sufficient copyright rights in its Contribution, if any, to grant the copyright license set forth in this Agreement. 3. REQUIREMENTS A Contributor may choose to distribute the Program in object code form under its own license agreement, provided that: a) it complies with the terms and conditions of this Agreement; and b) its license agreement: i) effectively disclaims on behalf of all Contributors all warranties and conditions, express and implied, including warranties or conditions of title and non-infringement, and implied warranties or conditions of merchantability and fitness for a particular purpose; ii) effectively excludes on behalf of all Contributors all liability for damages, including direct, indirect, special, incidental and consequential damages, such as lost profits; iii) states that any provisions which differ from this Agreement are offered by that Contributor alone and not by any other party; and iv) states that source code for the Program is available from such Contributor, and informs licensees how to obtain it in a reasonable manner on or through a medium customarily used for software exchange. When the Program is made available in source code form: a) it must be made available under this Agreement; and b) a copy of this Agreement must be included with each copy of the Program. Contributors may not remove or alter any copyright notices contained within the Program. Each Contributor must identify itself as the originator of its Contribution, if any, in a manner that reasonably allows subsequent Recipients to identify the originator of the Contribution. 4. COMMERCIAL DISTRIBUTION Commercial distributors of software may accept certain responsibilities with respect to end users, business partners and the like. While this license is intended to facilitate the commercial use of the Program, the Contributor who includes the Program in a commercial product offering should do so in a manner which does not create potential liability for other Contributors. Therefore, if a Contributor includes the Program in a commercial product offering, such Contributor ("Commercial Contributor") hereby agrees to defend and indemnify every other Contributor ("Indemnified Contributor") against any losses, damages and costs (collectively "Losses") arising from claims, lawsuits and other legal actions brought by a third party against the Indemnified Contributor to the extent caused by the acts or omissions of such Commercial Contributor in connection with its distribution of the Program in a commercial product offering. The obligations in this section do not apply to any claims or Losses relating to any actual or alleged intellectual property infringement. In order to qualify, an Indemnified Contributor must: a) promptly notify the Commercial Contributor in writing of such claim, and b) allow the Commercial Contributor to control, and cooperate with the Commercial Contributor in, the defense and any related settlement negotiations. The Indemnified Contributor may participate in any such claim at its own expense. For example, a Contributor might include the Program in a commercial product offering, Product X. That Contributor is then a Commercial Contributor. If that Commercial Contributor then makes performance claims, or offers warranties related to Product X, those performance claims and warranties are such Commercial Contributor's responsibility alone. Under this section, the Commercial Contributor would have to defend claims against the other Contributors related to those performance claims and warranties, and if a court requires any other Contributor to pay any damages as a result, the Commercial Contributor must pay those damages. 5. NO WARRANTY EXCEPT AS EXPRESSLY SET FORTH IN THIS AGREEMENT, THE PROGRAM IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED INCLUDING, WITHOUT LIMITATION, ANY WARRANTIES OR CONDITIONS OF TITLE, NON-INFRINGEMENT, MERCHANTABILITY OR FITNESS FOR A PARTICULAR PURPOSE. Each Recipient is solely responsible for determining the appropriateness of using and distributing the Program and assumes all risks associated with its exercise of rights under this Agreement , including but not limited to the risks and costs of program errors, compliance with applicable laws, damage to or loss of data, programs or equipment, and unavailability or interruption of operations. 6. DISCLAIMER OF LIABILITY EXCEPT AS EXPRESSLY SET FORTH IN THIS AGREEMENT, NEITHER RECIPIENT NOR ANY CONTRIBUTORS SHALL HAVE ANY LIABILITY FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING WITHOUT LIMITATION LOST PROFITS), 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 OR DISTRIBUTION OF THE PROGRAM OR THE EXERCISE OF ANY RIGHTS GRANTED HEREUNDER, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGES. 7. GENERAL If any provision of this Agreement is invalid or unenforceable under applicable law, it shall not affect the validity or enforceability of the remainder of the terms of this Agreement, and without further action by the parties hereto, such provision shall be reformed to the minimum extent necessary to make such provision valid and enforceable. If Recipient institutes patent litigation against any entity (including a cross-claim or counterclaim in a lawsuit) alleging that the Program itself (excluding combinations of the Program with other software or hardware) infringes such Recipient's patent(s), then such Recipient's rights granted under Section 2(b) shall terminate as of the date such litigation is filed. All Recipient's rights under this Agreement shall terminate if it fails to comply with any of the material terms or conditions of this Agreement and does not cure such failure in a reasonable period of time after becoming aware of such noncompliance. If all Recipient's rights under this Agreement terminate, Recipient agrees to cease use and distribution of the Program as soon as reasonably practicable. However, Recipient's obligations under this Agreement and any licenses granted by Recipient relating to the Program shall continue and survive. Everyone is permitted to copy and distribute copies of this Agreement, but in order to avoid inconsistency the Agreement is copyrighted and may only be modified in the following manner. The Agreement Steward reserves the right to publish new versions (including revisions) of this Agreement from time to time. No one other than the Agreement Steward has the right to modify this Agreement. The Eclipse Foundation is the initial Agreement Steward. The Eclipse Foundation may assign the responsibility to serve as the Agreement Steward to a suitable separate entity. Each new version of the Agreement will be given a distinguishing version number. The Program (including Contributions) may always be distributed subject to the version of the Agreement under which it was received. In addition, after a new version of the Agreement is published, Contributor may elect to distribute the Program (including its Contributions) under the new version. Except as expressly stated in Sections 2(a) and 2(b) above, Recipient receives no rights or licenses to the intellectual property of any Contributor under this Agreement, whether expressly, by implication, estoppel or otherwise. All rights in the Program not expressly granted under this Agreement are reserved. This Agreement is governed by the laws of the State of New York and the intellectual property laws of the United States of America. No party to this Agreement will bring a legal action under this Agreement more than one year after the cause of action arose. Each party waives its rights to a jury trial in any resulting litigation. ------------------------------------------------------------------------------- Alternatively, the contents of these files may be used 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 this file only under the terms of the LGPL, and not to allow others to use your version of this file 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. On Debian systems, the complete text of the GNU Lesser General Public License, version 2.1, can be found in /usr/share/common-licenses/LGPL-2.1. The files * org.sat4j.core/src/main/java/org/sat4j/core/Vec.java * org.sat4j.core/src/main/java/org/sat4j/core/VecInt.java * org.sat4j.core/src/main/java/org/sat4j/minisat/core/Solver.java contain code based on MIT licensed software: 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. The files * org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2005.java * org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2007.java are based on code published under the following permissive license: Copyright (c) 2005-2007 Olivier ROUSSEL and Vasco MANQUINHO 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. The Debian packaging is Copyright (C) 2008, Michael Tautschnig and is licensed under the GPL, see `/usr/share/common-licenses/GPL-3'. debian/sat4j.lintian-overrides0000644000000000000000000000012311724562123013572 0ustar sat4j binary: executable-not-elf-or-script usr/share/java/org.sat4j.core-2.3.1.jar debian/watch0000644000000000000000000000071412056707475010236 0ustar # Compulsory line, this is a version 3 file version=3 # Uncomment to examine a Webpage # http://websvn.ow2.org/listing.php?repname=sat4j&path=%2Fmaven%2Ftags%2F \ listing.php\?repname=sat4j&path=%2Fmaven%2Ftags%2Forg.sat4j.pom-(\d+.*)%2F # path=%2Fmaven%2Ftags%2Forg.sat4j.pom-(\d.+)%2F # Uncomment to examine a Webserver directory #http://svn.forge.objectweb.org/cgi-bin/viewcvs.cgi/sat4j/maven/tags/ (\d+)_(\d+)_(\d+)/ debian/ant.properties0000644000000000000000000000006112056712352012066 0ustar compile.source=1.5 compile.target=1.5 target=1.5 debian/sat4j.10000644000000000000000000000270111724545003010276 0ustar .\" Hey, EMACS: -*- nroff -*- .\" First parameter, NAME, should be all caps .\" Second parameter, SECTION, should be 1-8, maybe w/ subsection .\" other parameters are allowed: see man(7), man(1) .TH SAT4J 1 "June 8, 2008" .\" Please adjust this date whenever revising the manpage. .\" .\" Some roff macros, for reference: .\" .nh disable hyphenation .\" .hy enable hyphenation .\" .ad l left justify .\" .ad b justify to both left and right margins .\" .nf disable filling .\" .fi enable filling .\" .br insert line break .\" .sp insert n+1 empty lines .\" for manpage-specific macros, see man(7) .SH NAME sat4j \- efficient library of SAT solvers in Java .SH SYNOPSIS .B sat4j .I input-file .SH DESCRIPTION This manual page documents briefly the .B sat4j command. .PP .\" TeX users may be more comfortable with the \fB\fP and .\" \fI\fP escape sequences to invode bold face and italics, .\" respectively. \fBsat4j\fP is an efficient library for SAT solvers written in Java. .PP An initial set of documentation can be found at http://www.sat4j.org/doc.php (in particular the "getting started guide" is recommended). This documentation is not shipped in the package as it is not DFSG-free. .SH AUTHOR sat4j was written by Daniel Le Berre. .PP This manual page was written by Michael Tautschnig , for the Debian project (but may be used by others). debian/patches/0000755000000000000000000000000012056730231010614 5ustar debian/patches/commons-cli0000644000000000000000000000315612056715210012764 0ustar Description: TODO: Put a short summary on the line above and replace this paragraph with a longer explanation of this change. Complete the meta-information with other relevant fields (see below for details). To make it easier, the information below has been extracted from the changelog. Adjust it or drop it. . sat4j (2.3.0-3) unstable; urgency=low . * Reworked debian/rules using dh+jh (closes: #641378) * Cleanup patch names to make dpkg happy * Build level 1.5 bytecode as requested on eclipse/linuxtools-dev Author: Michael Tautschnig Bug-Debian: http://bugs.debian.org/641378 --- The information above should follow the Patch Tagging Guidelines, please checkout http://dep.debian.net/deps/dep3/ to learn about the format. Here are templates for supplementary fields that you might want to add: Origin: , Bug: Bug-Debian: http://bugs.debian.org/ Bug-Ubuntu: https://launchpad.net/bugs/ Forwarded: Reviewed-By: Last-Update: --- sat4j-2.3.0.orig/org.sat4j.maxsat/META-INF/MANIFEST.MF +++ sat4j-2.3.0/org.sat4j.maxsat/META-INF/MANIFEST.MF @@ -18,5 +18,5 @@ Specification-Vendor: Daniel Le Berre Implementation-Title: SAT4J Implementation-Version: 2.0 Implementation-Vendor: CRIL CNRS UMR 8188 - Universite d'Artois -Class-Path: org.sat4j.pb.jar lib/commons-cli.jar +Class-Path: org.sat4j.pb.jar commons-cli.jar Bundle-RequiredExecutionEnvironment: J2SE-1.5 debian/patches/debian-changes-2.3.2-10000644000000000000000000000662112056730726014203 0ustar Description: TODO: Put a short summary on the line above and replace this paragraph with a longer explanation of this change. Complete the meta-information with other relevant fields (see below for details). To make it easier, the information below has been extracted from the changelog. Adjust it or drop it. . sat4j (2.3.2-1) unstable; urgency=low . * New upstream release * Bumped standards version to 3.9.4 (no changes) * Use target 1.5 instead of jsr14 as Java7 no longer allows generics with jsr14. Thanks Niels Thykier for the report and patch (closes: #678007) Author: Michael Tautschnig Bug-Debian: http://bugs.debian.org/678007 --- The information above should follow the Patch Tagging Guidelines, please checkout http://dep.debian.net/deps/dep3/ to learn about the format. Here are templates for supplementary fields that you might want to add: Origin: , Bug: Bug-Debian: http://bugs.debian.org/ Bug-Ubuntu: https://launchpad.net/bugs/ Forwarded: Reviewed-By: Last-Update: --- sat4j-2.3.2.orig/build.xml +++ sat4j-2.3.2/build.xml @@ -304,8 +304,7 @@ srcdir="${src}" destdir="${build}" source="1.5" - target="${target}" - includeantruntime="false"> + target="${target}"> --- sat4j-2.3.2.orig/org.sat4j.pb/src/test/java/org/sat4j/pb/constraints/CompetPBResHTMixedConstraintsObjectiveLearningTest.java +++ sat4j-2.3.2/org.sat4j.pb/src/test/java/org/sat4j/pb/constraints/CompetPBResHTMixedConstraintsObjectiveLearningTest.java @@ -42,7 +42,7 @@ public class CompetPBResHTMixedConstrain @Override protected IPBSolver createSolver() { - return SolverFactory.newCompetPBResHTMixedConstraintsObjectiveExpSimp(); + return null; } } --- sat4j-2.3.2.orig/org.sat4j.pb/src/test/java/org/sat4j/pb/constraints/CompetPBResMinHTMixedConstraintsObjectiveLearningTest.java +++ sat4j-2.3.2/org.sat4j.pb/src/test/java/org/sat4j/pb/constraints/CompetPBResMinHTMixedConstraintsObjectiveLearningTest.java @@ -42,7 +42,7 @@ public class CompetPBResMinHTMixedConstr @Override protected IPBSolver createSolver() { - return SolverFactory.newCompetPBResMinHTMixedConstraintsObjective(); + return null; } } --- sat4j-2.3.2.orig/org.sat4j.pb/src/test/java/org/sat4j/pb/constraints/MiniOPBLongClauseCardMinLearningTest.java +++ sat4j-2.3.2/org.sat4j.pb/src/test/java/org/sat4j/pb/constraints/MiniOPBLongClauseCardMinLearningTest.java @@ -41,8 +41,7 @@ public class MiniOPBLongClauseCardMinLea @Override protected IPBSolver createSolver() { - return SolverFactory - .newCompetPBResLongWLMixedConstraintsObjectiveExpSimp(); + return null; } } --- sat4j-2.3.2.orig/org.sat4j.pb/src/test/java/org/sat4j/pb/constraints/PBCPMixedConstraintsCautiousTest.java +++ sat4j-2.3.2/org.sat4j.pb/src/test/java/org/sat4j/pb/constraints/PBCPMixedConstraintsCautiousTest.java @@ -42,7 +42,7 @@ public class PBCPMixedConstraintsCautiou @Override protected IPBSolver createSolver() { - return SolverFactory.newPBCPMixedConstraintsCautious(); + return null; } } debian/patches/debian-build0000644000000000000000000000434412056716247013076 0ustar Description: TODO: Put a short summary on the line above and replace this paragraph with a longer explanation of this change. Complete the meta-information with other relevant fields (see below for details). To make it easier, the information below has been extracted from the changelog. Adjust it or drop it. . sat4j (2.3.2-1) unstable; urgency=low . * New upstream release * Bumped standards version to 3.9.4 (no changes) * Use target 1.5 instead of jsr14 as Java7 no longer allows generics with jsr14. Thanks Niels Thykier for the report and patch (closes: #678007) Author: Michael Tautschnig Bug-Debian: http://bugs.debian.org/678007 --- The information above should follow the Patch Tagging Guidelines, please checkout http://dep.debian.net/deps/dep3/ to learn about the format. Here are templates for supplementary fields that you might want to add: Origin: , Bug: Bug-Debian: http://bugs.debian.org/ Bug-Ubuntu: https://launchpad.net/bugs/ Forwarded: Reviewed-By: Last-Update: --- sat4j-2.3.2.orig/build.xml +++ sat4j-2.3.2/build.xml @@ -336,8 +336,8 @@ - - + + debian/patches/series0000644000000000000000000000006012056721202012023 0ustar commons-cli debian-build debian-changes-2.3.2-1 debian/control0000644000000000000000000000153212056711712010574 0ustar Source: sat4j Section: science Priority: optional Maintainer: Michael Tautschnig Build-Depends: debhelper (>= 7.0.50~), ant Build-Depends-Indep: javahelper, default-jdk, libcommons-cli-java, libcommons-beanutils-java, rhino, junit4, libjmock-java, ant-optional Standards-Version: 3.9.4 Homepage: http://www.sat4j.org Package: sat4j Architecture: all Depends: ${java:Depends}, ${misc:Depends} Breaks: eclipse-platform (<= 3.5.2-5) Description: Efficient library of SAT solvers in Java The aim of the SAT4J library is to provide an efficient library of SAT solvers in Java. Compared to the OpenSAT project, the SAT4J library targets first users of SAT "black boxes", willing to embed SAT technologies into their application without worrying about the details. The SAT4J project also tries to provide a basis of work for SAT researchers. debian/links0000644000000000000000000000006111361072444010230 0ustar usr/share/java/org.sat4j.core.jar usr/bin/sat4j debian/rules0000755000000000000000000000537012056707700010257 0ustar #!/usr/bin/make -f # -*- makefile -*- # Sample debian/rules that uses debhelper. # This file was originally written by Joey Hess and Craig Small. # As a special exception, when this file is copied by dh-make into a # dh-make output file, you may use that output file without restriction. # This special exception was added by Craig Small in version 0.37 of dh-make. # Uncomment this to turn on verbose mode. #export DH_VERBOSE=1 include /usr/share/javahelper/java-vars.mk DEB_JARS := ant ant-launcher ant-junit commons-cli commons-beanutils js junit4 jmock hamcrest-core DEB_CLASSPATH = $(shell for jar in $(DEB_JARS:%=/usr/share/java/%.jar); do \ echo -n $${jar}:; done; \ echo -n $(JAVA_HOME)/lib/tools.jar) ANT_ARGS := -propertyfile debian/ant.properties ANT := CLASSPATH=$(DEB_CLASSPATH) $(JAVA_HOME)/bin/java org.apache.tools.ant.Main $(ANT_ARGS) VERSION=$(shell dpkg-parsechangelog | grep Version | awk '{ print $$2 }' | sed 's/-.*//') ifneq (,$(findstring nocheck,$(DEB_BUILD_OPTIONS))) with_check := disabled by DEB_BUILD_OPTIONS. else with_check := yes endif %: dh $@ --with javahelper override_dh_clean: $(RM) debian/jlibs $(RM) lib/*.jar $(ANT) -Drelease=$(VERSION) clean cleanrelease dh_clean override_dh_auto_build: mkdir -p org.sat4j.maxsat/src/main/resources $(ANT) -Drelease=$(VERSION) p2 maxsat $(RM) $(CURDIR)/dist/$(VERSION)/*-src.jar for j in $(CURDIR)/dist/$(VERSION)/*.jar ; do echo $$j >> debian/jlibs ; done override_dh_auto_test: dh_testdir ifeq ($(with_check),yes) $(ANT) -Drelease=$(VERSION) p2-tests else @echo "Testsuite not run: $(with_check)." endif ### # Build architecture-independent files here. ### binary-indep: build install ### dh_testdir ### dh_testroot ### dh_installchangelogs ### dh_installdocs ### dh_installexamples ### # dh_install ### # dh_installmenu ### # dh_installdebconf ### # dh_installlogrotate ### # dh_installemacsen ### # dh_installpam ### # dh_installmime ### # dh_python ### # dh_installinit ### # dh_installcron ### # dh_installinfo ### dh_installman debian/sat4j.1 ### dh_lintian -i ### dh_link -i ### jh_installlibs -i $(CURDIR)/dist/$(VERSION)/*.jar ### jh_exec -i ### jh_depends -i ### dh_strip ### dh_compress ### dh_fixperms ### # dh_perl ### # dh_makeshlibs ### dh_installdeb ### dh_shlibdeps ### dh_gencontrol ### dh_md5sums ### dh_builddeb TAG_VERS=org.sat4j.pom-2.3.2 DEB_VERS=2.3.2 get-orig-source: svn export svn://svn.forge.objectweb.org/svnroot/sat4j/maven/tags/$(TAG_VERS)/ sat4j-$(DEB_VERS) cd sat4j-$(DEB_VERS) ; rm -r org.sat4j.csp/ org.sat4j.csp.xmlparser/ for i in `find sat4j-$(DEB_VERS) -name "*.java"` ; do grep -q "Copyright" $$i || echo $$i ; done tar cf sat4j_$(DEB_VERS).orig.tar sat4j-$(DEB_VERS) rm -rf sat4j-$(DEB_VERS) gzip -9n sat4j_$(DEB_VERS).orig.tar debian/sat4j.sh0000644000000000000000000000007511324320025010541 0ustar #!/bin/sh java -jar /usr/share/sat4j/org.sat4j.core.jar $@