├── .project ├── .settings ├── org.eclipse.core.resources.prefs └── org.eclipse.m2e.core.prefs ├── META-INF └── MANIFEST.MF ├── README ├── lib ├── commons-beanutils.jar ├── commons-cli.jar ├── commons-logging.jar ├── jchart2d-3.2.2.jar ├── jchart2d.jar ├── mockito-all-1.9.5.jar ├── org.xcsp.tests-1.0.0-SNAPSHOT.jar └── xcsp3parser.jar ├── org.sat4j.br4cp ├── .classpath ├── .project ├── .settings │ └── org.eclipse.jdt.core.prefs ├── META-INF │ └── MANIFEST.MF ├── big.txt ├── big_prices.txt ├── bin │ └── org │ │ └── sat4j │ │ └── br4cp │ │ ├── AraliaParser$LogicFormulaNode.class │ │ ├── AraliaParser$LogicFormulaNodeType.class │ │ ├── AraliaParser.class │ │ ├── AssumptionsBasedBr4cpBackboneComputer.class │ │ ├── Br4cpAraliaReader.class │ │ ├── Br4cpScenarioSimulator.class │ │ ├── ConfigVarMap.class │ │ ├── FormulaToSolver.class │ │ └── IBr4cpBackboneComputer.class ├── pom.xml ├── small.txt ├── small_prices.txt └── src │ ├── main │ └── java │ │ ├── br4cp │ │ ├── Configurator.java │ │ ├── ConfiguratorFactory.java │ │ └── Protocol.java │ │ └── org │ │ └── sat4j │ │ └── br4cp │ │ ├── AraliaParser.java │ │ ├── Br4cpAraliaReader.java │ │ ├── Br4cpCLI.java │ │ ├── Br4cpConfigurator.java │ │ ├── Br4cpScenarioSimulator.java │ │ ├── ConfigVarComparator.java │ │ ├── ConfigVarMap.java │ │ ├── DefaultBr4cpBackboneComputer.java │ │ ├── FormulaToSolver.java │ │ ├── IBr4cpBackboneComputer.java │ │ ├── Launcher.java │ │ ├── Options.java │ │ ├── Sat4jConfiguratorFactory.java │ │ ├── Utils.java │ │ └── Valeur.java │ └── test │ └── java │ └── org │ └── sat4j │ └── br4cp │ └── TestConfigurator.java ├── org.sat4j.core ├── .classpath ├── .cvsignore ├── .fbprefs ├── .pmd ├── .project ├── .settings │ ├── .api_filters │ ├── org.eclipse.core.resources.prefs │ ├── org.eclipse.jdt.core.prefs │ ├── org.eclipse.jdt.ui.prefs │ ├── org.eclipse.m2e.core.prefs │ ├── org.eclipse.pde.api.tools.prefs │ └── org.sonar.ide.eclipse.core.prefs ├── LICENSE.txt ├── META-INF │ └── MANIFEST.MF ├── build.properties ├── plugin.properties ├── pom.xml └── src │ ├── main │ ├── java │ │ ├── org │ │ │ └── sat4j │ │ │ │ ├── AbstractLauncher.java │ │ │ │ ├── AbstractOptimizationLauncher.java │ │ │ │ ├── BasicLauncher.java │ │ │ │ ├── DecisionMode.java │ │ │ │ ├── ExitCode.java │ │ │ │ ├── ILauncherMode.java │ │ │ │ ├── LightFactory.java │ │ │ │ ├── MUSLauncher.java │ │ │ │ ├── Messages.java │ │ │ │ ├── OptimizationMode.java │ │ │ │ ├── core │ │ │ │ ├── ASolverFactory.java │ │ │ │ ├── ConstrGroup.java │ │ │ │ ├── DefaultComparator.java │ │ │ │ ├── EmptyVecInt.java │ │ │ │ ├── LiteralsUtils.java │ │ │ │ ├── ReadOnlyVec.java │ │ │ │ ├── ReadOnlyVecInt.java │ │ │ │ ├── Vec.java │ │ │ │ ├── VecInt.java │ │ │ │ └── package-info.java │ │ │ │ ├── messages.properties │ │ │ │ ├── minisat │ │ │ │ ├── SolverFactory.java │ │ │ │ ├── constraints │ │ │ │ │ ├── AbstractCardinalityDataStructure.java │ │ │ │ │ ├── AbstractDataStructureFactory.java │ │ │ │ │ ├── CardinalityDataStructure.java │ │ │ │ │ ├── CardinalityDataStructureYanMax.java │ │ │ │ │ ├── CardinalityDataStructureYanMin.java │ │ │ │ │ ├── ClausalDataStructureWL.java │ │ │ │ │ ├── MixedDataStructureDanielHT.java │ │ │ │ │ ├── MixedDataStructureDanielWL.java │ │ │ │ │ ├── MixedDataStructureDanielWLConciseBinary.java │ │ │ │ │ ├── MixedDataStructureSingleWL.java │ │ │ │ │ ├── card │ │ │ │ │ │ ├── AtLeast.java │ │ │ │ │ │ ├── MaxWatchCard.java │ │ │ │ │ │ ├── MinWatchCard.java │ │ │ │ │ │ └── package-info.java │ │ │ │ │ ├── cnf │ │ │ │ │ │ ├── BinaryClause.java │ │ │ │ │ │ ├── BinaryClauses.java │ │ │ │ │ │ ├── CBClause.java │ │ │ │ │ │ ├── Clauses.java │ │ │ │ │ │ ├── HTClause.java │ │ │ │ │ │ ├── LearntBinaryClause.java │ │ │ │ │ │ ├── LearntHTClause.java │ │ │ │ │ │ ├── LearntWLClause.java │ │ │ │ │ │ ├── Lits.java │ │ │ │ │ │ ├── OriginalBinaryClause.java │ │ │ │ │ │ ├── OriginalHTClause.java │ │ │ │ │ │ ├── OriginalWLClause.java │ │ │ │ │ │ ├── UnitClause.java │ │ │ │ │ │ ├── UnitClauses.java │ │ │ │ │ │ ├── WLClause.java │ │ │ │ │ │ └── package-info.java │ │ │ │ │ ├── package-info.java │ │ │ │ │ └── xor │ │ │ │ │ │ └── Xor.java │ │ │ │ ├── core │ │ │ │ │ ├── ActivityComparator.java │ │ │ │ │ ├── ActivityLCDS.java │ │ │ │ │ ├── ActivityListener.java │ │ │ │ │ ├── AgeLCDS.java │ │ │ │ │ ├── CircularBuffer.java │ │ │ │ │ ├── ConflictTimer.java │ │ │ │ │ ├── ConflictTimerAdapter.java │ │ │ │ │ ├── ConflictTimerContainer.java │ │ │ │ │ ├── ConstrActivityListener.java │ │ │ │ │ ├── Counter.java │ │ │ │ │ ├── CounterBasedPrimeImplicantStrategy.java │ │ │ │ │ ├── DataStructureFactory.java │ │ │ │ │ ├── Glucose2LCDS.java │ │ │ │ │ ├── GlucoseLCDS.java │ │ │ │ │ ├── Heap.java │ │ │ │ │ ├── ICDCL.java │ │ │ │ │ ├── ILits.java │ │ │ │ │ ├── IOrder.java │ │ │ │ │ ├── IPhaseSelectionStrategy.java │ │ │ │ │ ├── ISimplifier.java │ │ │ │ │ ├── IntQueue.java │ │ │ │ │ ├── LBDConflictTimer.java │ │ │ │ │ ├── LearnedConstraintsDeletionStrategy.java │ │ │ │ │ ├── LearnedConstraintsEvaluationType.java │ │ │ │ │ ├── Learner.java │ │ │ │ │ ├── LearningStrategy.java │ │ │ │ │ ├── MemoryBasedConflictTimer.java │ │ │ │ │ ├── Pair.java │ │ │ │ │ ├── PrimeImplicantStrategy.java │ │ │ │ │ ├── QuadraticPrimeImplicantStrategy.java │ │ │ │ │ ├── RestartStrategy.java │ │ │ │ │ ├── SearchParams.java │ │ │ │ │ ├── SimplificationType.java │ │ │ │ │ ├── SizeComparator.java │ │ │ │ │ ├── SizeLCDS.java │ │ │ │ │ ├── Solver.java │ │ │ │ │ ├── SolverStats.java │ │ │ │ │ ├── Undoable.java │ │ │ │ │ ├── VarActivityListener.java │ │ │ │ │ ├── VoidTracing.java │ │ │ │ │ ├── WatcherBasedPrimeImplicantStrategy.java │ │ │ │ │ └── package-info.java │ │ │ │ ├── learning │ │ │ │ │ ├── AbstractLearning.java │ │ │ │ │ ├── ActiveLearning.java │ │ │ │ │ ├── ClauseOnlyLearning.java │ │ │ │ │ ├── FixedLengthLearning.java │ │ │ │ │ ├── LimitedLearning.java │ │ │ │ │ ├── MiniSATLearning.java │ │ │ │ │ ├── NoLearningButHeuristics.java │ │ │ │ │ ├── NoLearningNoHeuristics.java │ │ │ │ │ ├── PercentLengthLearning.java │ │ │ │ │ └── package-info.java │ │ │ │ ├── orders │ │ │ │ │ ├── AbstractPhaserecordingSelectionStrategy.java │ │ │ │ │ ├── ActivityBasedVariableComparator.java │ │ │ │ │ ├── LevelAndActivityVariableComparator.java │ │ │ │ │ ├── LevelBasedVarOrderHeap.java │ │ │ │ │ ├── NegativeLiteralSelectionStrategy.java │ │ │ │ │ ├── PhaseCachingAutoEraseStrategy.java │ │ │ │ │ ├── PhaseInLastLearnedClauseSelectionStrategy.java │ │ │ │ │ ├── PositiveLiteralSelectionStrategy.java │ │ │ │ │ ├── PureOrder.java │ │ │ │ │ ├── RSATLastLearnedClausesPhaseSelectionStrategy.java │ │ │ │ │ ├── RSATPhaseSelectionStrategy.java │ │ │ │ │ ├── RandomLiteralSelectionStrategy.java │ │ │ │ │ ├── RandomWalkDecorator.java │ │ │ │ │ ├── SubsetVarOrder.java │ │ │ │ │ ├── TabuListDecorator.java │ │ │ │ │ ├── UserFixedPhaseSelectionStrategy.java │ │ │ │ │ ├── ValuedLit.java │ │ │ │ │ ├── VarOrderHeap.java │ │ │ │ │ ├── VariableComparator.java │ │ │ │ │ └── package-info.java │ │ │ │ ├── package-info.java │ │ │ │ └── restarts │ │ │ │ │ ├── ArminRestarts.java │ │ │ │ │ ├── EMARestarts.java │ │ │ │ │ ├── FixedPeriodRestarts.java │ │ │ │ │ ├── Glucose21Restarts.java │ │ │ │ │ ├── LubyRestarts.java │ │ │ │ │ ├── MiniSATRestarts.java │ │ │ │ │ ├── NoRestarts.java │ │ │ │ │ └── package-info.java │ │ │ │ ├── opt │ │ │ │ ├── AbstractSelectorVariablesDecorator.java │ │ │ │ ├── MaxSatDecorator.java │ │ │ │ ├── MinOneDecorator.java │ │ │ │ └── package-info.java │ │ │ │ ├── package-info.java │ │ │ │ ├── reader │ │ │ │ ├── AAGReader.java │ │ │ │ ├── AIGReader.java │ │ │ │ ├── DimacsReader.java │ │ │ │ ├── EfficientScanner.java │ │ │ │ ├── GroupedCNFReader.java │ │ │ │ ├── InstanceReader.java │ │ │ │ ├── JSONReader.java │ │ │ │ ├── LecteurDimacs.java │ │ │ │ ├── ParseFormatException.java │ │ │ │ ├── Reader.java │ │ │ │ └── package-info.java │ │ │ │ ├── specs │ │ │ │ ├── Constr.java │ │ │ │ ├── ContradictionException.java │ │ │ │ ├── IConstr.java │ │ │ │ ├── IGroupSolver.java │ │ │ │ ├── ILogAble.java │ │ │ │ ├── IOptimizationProblem.java │ │ │ │ ├── IProblem.java │ │ │ │ ├── ISolver.java │ │ │ │ ├── ISolverService.java │ │ │ │ ├── IVec.java │ │ │ │ ├── IVecInt.java │ │ │ │ ├── IteratorInt.java │ │ │ │ ├── Lbool.java │ │ │ │ ├── MandatoryLiteralListener.java │ │ │ │ ├── Propagatable.java │ │ │ │ ├── RandomAccessModel.java │ │ │ │ ├── SearchListener.java │ │ │ │ ├── TimeoutException.java │ │ │ │ ├── UnitClauseProvider.java │ │ │ │ ├── UnitPropagationListener.java │ │ │ │ ├── VarMapper.java │ │ │ │ └── package-info.java │ │ │ │ └── tools │ │ │ │ ├── AbstractClauseSelectorSolver.java │ │ │ │ ├── AbstractMinimalModel.java │ │ │ │ ├── AbstractOutputSolver.java │ │ │ │ ├── AllMUSes.java │ │ │ │ ├── Backbone.java │ │ │ │ ├── CheckMUSSolutionListener.java │ │ │ │ ├── ClausalCardinalitiesDecorator.java │ │ │ │ ├── ConflictDepthTracing.java │ │ │ │ ├── ConflictLevelTracing.java │ │ │ │ ├── DecisionLevelTracing.java │ │ │ │ ├── DecisionTracing.java │ │ │ │ ├── DimacsArrayReader.java │ │ │ │ ├── DimacsOutputSolver.java │ │ │ │ ├── DimacsStringSolver.java │ │ │ │ ├── DotSearchTracing.java │ │ │ │ ├── EmptySolver.java │ │ │ │ ├── ExtendedDimacsArrayReader.java │ │ │ │ ├── FileBasedVisualizationTool.java │ │ │ │ ├── FullClauseSelectorSolver.java │ │ │ │ ├── GateTranslator.java │ │ │ │ ├── GroupClauseSelectorSolver.java │ │ │ │ ├── HeuristicsTracing.java │ │ │ │ ├── IBackboneProgressListener.java │ │ │ │ ├── IVisualizationTool.java │ │ │ │ ├── LBDTracing.java │ │ │ │ ├── LearnedClauseSizeTracing.java │ │ │ │ ├── LearnedClausesSizeTracing.java │ │ │ │ ├── LearnedTracing.java │ │ │ │ ├── LexicoDecorator.java │ │ │ │ ├── ManyCore.java │ │ │ │ ├── Minimal4CardinalityModel.java │ │ │ │ ├── Minimal4InclusionModel.java │ │ │ │ ├── ModelIterator.java │ │ │ │ ├── ModelIteratorToSATAdapter.java │ │ │ │ ├── MultiTracing.java │ │ │ │ ├── NegationDecorator.java │ │ │ │ ├── OptToSatAdapter.java │ │ │ │ ├── OutcomeListener.java │ │ │ │ ├── RemiUtils.java │ │ │ │ ├── RupSearchListener.java │ │ │ │ ├── SearchEnumeratorListener.java │ │ │ │ ├── SearchListenerAdapter.java │ │ │ │ ├── SearchMinOneListener.java │ │ │ │ ├── SingleSolutionDetector.java │ │ │ │ ├── SolutionCounter.java │ │ │ │ ├── SolutionFoundListener.java │ │ │ │ ├── SolverDecorator.java │ │ │ │ ├── SpeedTracing.java │ │ │ │ ├── StatisticsSolver.java │ │ │ │ ├── SubModelIterator.java │ │ │ │ ├── TextOutputTracing.java │ │ │ │ ├── encoding │ │ │ │ ├── Binary.java │ │ │ │ ├── Binomial.java │ │ │ │ ├── Commander.java │ │ │ │ ├── EncodingStrategy.java │ │ │ │ ├── EncodingStrategyAdapter.java │ │ │ │ ├── Ladder.java │ │ │ │ ├── Policy.java │ │ │ │ ├── Product.java │ │ │ │ ├── Sequential.java │ │ │ │ └── package-info.java │ │ │ │ ├── package-info.java │ │ │ │ └── xplain │ │ │ │ ├── DeletionStrategy.java │ │ │ │ ├── Explainer.java │ │ │ │ ├── HighLevelXplain.java │ │ │ │ ├── InsertionStrategy.java │ │ │ │ ├── MinimizationStrategy.java │ │ │ │ ├── QuickXplain2001Strategy.java │ │ │ │ ├── QuickXplainStrategy.java │ │ │ │ ├── Xplain.java │ │ │ │ └── package-info.java │ │ └── overview.html │ └── resources │ │ ├── about.html │ │ └── sat4j.version │ └── test │ ├── java │ ├── bug001.cnf │ ├── org │ │ └── sat4j │ │ │ ├── AbstractXplainTest.java │ │ │ ├── BugSAT107.java │ │ │ ├── BugSAT109.java │ │ │ ├── BugSAT117ModelIterator.java │ │ │ ├── BugSAT118.java │ │ │ ├── BugSAT139.java │ │ │ ├── BugSAT17.java │ │ │ ├── BugSAT18.java │ │ │ ├── BugSAT25.java │ │ │ ├── BugSAT26.java │ │ │ ├── BugSAT34.java │ │ │ ├── BugSAT37.java │ │ │ ├── BugSAT43.java │ │ │ ├── BugSAT50.java │ │ │ ├── BugSAT79.java │ │ │ ├── BugSAT81.java │ │ │ ├── BugSAT95.java │ │ │ ├── ModelIteratorTest.java │ │ │ ├── SingleSolutionTest.java │ │ │ ├── TestConstrGroup.java │ │ │ ├── TestDeletionXplain.java │ │ │ ├── TestFreeId.java │ │ │ ├── TestInsertionXplain.java │ │ │ ├── TestQuickXplain.java │ │ │ ├── TestQuickXplain2001.java │ │ │ ├── TestSatAssumps.java │ │ │ ├── TestSolverEngine.java │ │ │ ├── core │ │ │ ├── JsonReaderTest.java │ │ │ └── VecTest.java │ │ │ ├── minisat │ │ │ ├── AbstractAcceptanceTestCase.java │ │ │ ├── AbstractM2Test.java │ │ │ ├── AllTests.java │ │ │ ├── GenericM2Test.java │ │ │ ├── M2AtLeastTest.java │ │ │ ├── M2BackjumpingTest.java │ │ │ ├── M2CardMaxYannTest.java │ │ │ ├── M2CardMinYannTest.java │ │ │ ├── M2MiniLearningTest.java │ │ │ ├── M2MiniSATTest.java │ │ │ ├── TestAssertion.java │ │ │ ├── TestLubyFunction.java │ │ │ ├── TestsFonctionnels.java │ │ │ ├── VarOrderTest.java │ │ │ ├── constraints │ │ │ │ ├── LitTest.java │ │ │ │ └── TestXor.java │ │ │ └── core │ │ │ │ ├── Bug275101.java │ │ │ │ ├── BugFatih.java │ │ │ │ ├── BugFatih2.java │ │ │ │ ├── BugReset.java │ │ │ │ ├── BugSAT117.java │ │ │ │ ├── BugThomas.java │ │ │ │ ├── BugTrivialAssumption.java │ │ │ │ ├── CircularBufferTest.java │ │ │ │ ├── HeapLevelTest.java │ │ │ │ ├── HeapTest.java │ │ │ │ ├── LboolTest.java │ │ │ │ ├── LevelBasedVarOrderTest.java │ │ │ │ ├── QueueTest.java │ │ │ │ ├── TestAtMost.java │ │ │ │ ├── TestGroupedTimeoutModelEnumeration.java │ │ │ │ ├── TestMaxSatDecorator.java │ │ │ │ ├── TestPrimeComputation.java │ │ │ │ └── TestSizeComparator.java │ │ │ └── tools │ │ │ ├── BackboneTest.java │ │ │ ├── NegationDecoratorTest.java │ │ │ ├── RemiUtilsTest.java │ │ │ ├── TestAllMSSes.java │ │ │ ├── TestAllMUSes.java │ │ │ ├── TestAllMUSesAndCheckTest.java │ │ │ ├── TestAllMUSesGroupTest.java │ │ │ ├── TestCheckItIsAMUS.java │ │ │ ├── TestClausalCardinalitiesBinaryEncoding.java │ │ │ ├── TestClausalCardinalitiesBinomialEncoding.java │ │ │ ├── TestClausalCardinalitiesCommanderEncoding.java │ │ │ ├── TestClausalCardinalitiesLadderEncoding.java │ │ │ ├── TestClausalCardinalitiesProductEncoding.java │ │ │ ├── TestClausalCardinalitiesSequentialEncoding.java │ │ │ └── TestGateTranslator.java │ ├── test1.dimacs │ ├── test2.dimacs │ ├── test3.dimacs │ └── testcomments.dimacs │ └── testfiles │ ├── Eshop-fm.dimacs │ ├── aim-50-no-ok.cnf │ ├── aim-50-yes-ok.cnf │ ├── aim │ ├── aim-100-1_6-no-1.cnf │ ├── aim-100-1_6-no-2.cnf │ ├── aim-100-1_6-no-3.cnf │ ├── aim-100-1_6-no-4.cnf │ ├── aim-100-1_6-yes1-1.cnf │ ├── aim-100-1_6-yes1-2.cnf │ ├── aim-100-1_6-yes1-3.cnf │ ├── aim-100-1_6-yes1-4.cnf │ ├── aim-100-2_0-no-1.cnf │ ├── aim-100-2_0-no-2.cnf │ ├── aim-100-2_0-no-3.cnf │ ├── aim-100-2_0-no-4.cnf │ ├── aim-100-2_0-yes1-1.cnf │ ├── aim-100-2_0-yes1-2.cnf │ ├── aim-100-2_0-yes1-3.cnf │ ├── aim-100-2_0-yes1-4.cnf │ ├── aim-100-3_4-yes1-1.cnf │ ├── aim-100-3_4-yes1-2.cnf │ ├── aim-100-3_4-yes1-3.cnf │ ├── aim-100-3_4-yes1-4.cnf │ ├── aim-100-6_0-yes1-1.cnf │ ├── aim-100-6_0-yes1-2.cnf │ ├── aim-100-6_0-yes1-3.cnf │ ├── aim-100-6_0-yes1-4.cnf │ ├── aim-200-1_6-no-1.cnf │ ├── aim-200-1_6-no-2.cnf │ ├── aim-200-1_6-no-3.cnf │ ├── aim-200-1_6-no-4.cnf │ ├── aim-200-1_6-yes1-1.cnf │ ├── aim-200-1_6-yes1-2.cnf │ ├── aim-200-1_6-yes1-3.cnf │ ├── aim-200-1_6-yes1-4.cnf │ ├── aim-200-2_0-no-1.cnf │ ├── aim-200-2_0-no-2.cnf │ ├── aim-200-2_0-no-3.cnf │ ├── aim-200-2_0-no-4.cnf │ ├── aim-200-2_0-yes1-1.cnf │ ├── aim-200-2_0-yes1-2.cnf │ ├── aim-200-2_0-yes1-3.cnf │ ├── aim-200-2_0-yes1-4.cnf │ ├── aim-200-3_4-yes1-1.cnf │ ├── aim-200-3_4-yes1-2.cnf │ ├── aim-200-3_4-yes1-3.cnf │ ├── aim-200-3_4-yes1-4.cnf │ ├── aim-200-6_0-yes1-1.cnf │ ├── aim-200-6_0-yes1-2.cnf │ ├── aim-200-6_0-yes1-3.cnf │ ├── aim-200-6_0-yes1-4.cnf │ ├── aim-50-1_6-no-1.cnf │ ├── aim-50-1_6-no-2.cnf │ ├── aim-50-1_6-no-3.cnf │ ├── aim-50-1_6-no-4.cnf │ ├── aim-50-1_6-yes1-1.cnf │ ├── aim-50-1_6-yes1-2.cnf │ ├── aim-50-1_6-yes1-3.cnf │ ├── aim-50-1_6-yes1-4.cnf │ ├── aim-50-2_0-no-1.cnf │ ├── aim-50-2_0-no-2.cnf │ ├── aim-50-2_0-no-3.cnf │ ├── aim-50-2_0-no-4.cnf │ ├── aim-50-2_0-yes1-1.cnf │ ├── aim-50-2_0-yes1-2.cnf │ ├── aim-50-2_0-yes1-3.cnf │ ├── aim-50-2_0-yes1-4.cnf │ ├── aim-50-3_4-yes1-1.cnf │ ├── aim-50-3_4-yes1-2.cnf │ ├── aim-50-3_4-yes1-3.cnf │ ├── aim-50-3_4-yes1-4.cnf │ ├── aim-50-6_0-yes1-1.cnf │ ├── aim-50-6_0-yes1-2.cnf │ ├── aim-50-6_0-yes1-3.cnf │ └── aim-50-6_0-yes1-4.cnf │ ├── bug001.cnf │ ├── eb42.dimacs │ ├── ii │ ├── ii16a1.cnf │ ├── ii16a2.cnf │ ├── ii16b1.cnf │ ├── ii16b2.cnf │ ├── ii16c1.cnf │ ├── ii16c2.cnf │ ├── ii16d1.cnf │ ├── ii16d2.cnf │ ├── ii16e1.cnf │ ├── ii16e2.cnf │ ├── ii32a1.cnf │ ├── ii32b1.cnf │ ├── ii32b2.cnf │ ├── ii32b3.cnf │ ├── ii32b4.cnf │ ├── ii32c1.cnf │ ├── ii32c2.cnf │ ├── ii32c3.cnf │ ├── ii32c4.cnf │ ├── ii32d1.cnf │ ├── ii32d2.cnf │ ├── ii32d3.cnf │ ├── ii32e1.cnf │ ├── ii32e2.cnf │ ├── ii32e3.cnf │ ├── ii32e4.cnf │ ├── ii32e5.cnf │ ├── ii8a1.cnf │ ├── ii8a2.cnf │ ├── ii8a3.cnf │ ├── ii8a4.cnf │ ├── ii8b1.cnf │ ├── ii8b2.cnf │ ├── ii8b3.cnf │ ├── ii8b4.cnf │ ├── ii8c1.cnf │ ├── ii8c2.cnf │ ├── ii8d1.cnf │ ├── ii8d2.cnf │ ├── ii8e1.cnf │ └── ii8e2.cnf │ ├── jnh │ ├── jnh1.cnf │ ├── jnh10.cnf │ ├── jnh11.cnf │ ├── jnh12.cnf │ ├── jnh13.cnf │ ├── jnh14.cnf │ ├── jnh15.cnf │ ├── jnh16.cnf │ ├── jnh17.cnf │ ├── jnh18.cnf │ ├── jnh19.cnf │ ├── jnh2.cnf │ ├── jnh20.cnf │ ├── jnh201.cnf │ ├── jnh202.cnf │ ├── jnh203.cnf │ ├── jnh204.cnf │ ├── jnh205.cnf │ ├── jnh206.cnf │ ├── jnh207.cnf │ ├── jnh208.cnf │ ├── jnh209.cnf │ ├── jnh210.cnf │ ├── jnh211.cnf │ ├── jnh212.cnf │ ├── jnh213.cnf │ ├── jnh214.cnf │ ├── jnh215.cnf │ ├── jnh216.cnf │ ├── jnh217.cnf │ ├── jnh218.cnf │ ├── jnh219.cnf │ ├── jnh220.cnf │ ├── jnh3.cnf │ ├── jnh301.cnf │ ├── jnh302.cnf │ ├── jnh303.cnf │ ├── jnh304.cnf │ ├── jnh305.cnf │ ├── jnh306.cnf │ ├── jnh307.cnf │ ├── jnh308.cnf │ ├── jnh309.cnf │ ├── jnh310.cnf │ ├── jnh4.cnf │ ├── jnh5.cnf │ ├── jnh6.cnf │ ├── jnh7.cnf │ ├── jnh8.cnf │ └── jnh9.cnf │ ├── pigeons │ ├── hole6.cnf │ └── hole7.cnf │ ├── test1.dimacs │ ├── test2.dimacs │ ├── test3.dimacs │ ├── testcomments.cnf │ └── testcomments.dimacs ├── org.sat4j.csp.xmlparser ├── .classpath ├── .cvsignore ├── .project ├── .settings │ ├── org.eclipse.core.resources.prefs │ ├── org.eclipse.jdt.core.prefs │ └── org.eclipse.m2e.core.prefs ├── META-INF │ └── MANIFEST.MF ├── build.properties ├── pom.xml └── src │ └── main │ ├── java │ └── org │ │ └── sat4j │ │ └── csp │ │ ├── main │ │ ├── SimpleCallback.java │ │ └── Test.java │ │ └── xml │ │ ├── CSPFormatException.java │ │ ├── ConstantParameter.java │ │ ├── Constraint.java │ │ ├── Constraints.java │ │ ├── CspXmlParser.java │ │ ├── Domain.java │ │ ├── Domains.java │ │ ├── Element.java │ │ ├── Expression.java │ │ ├── Functional.java │ │ ├── ICSPCallback.java │ │ ├── Instance.java │ │ ├── InstanceParser.java │ │ ├── ListOfParameters.java │ │ ├── Parameters.java │ │ ├── Predicate.java │ │ ├── Predicates.java │ │ ├── Presentation.java │ │ ├── Relation.java │ │ ├── Relations.java │ │ ├── TagNames.java │ │ ├── Variable.java │ │ └── Variables.java │ └── resources │ └── instance_2_0.xsd ├── org.sat4j.csp ├── .classpath ├── .project ├── .settings │ ├── org.eclipse.core.resources.prefs │ ├── org.eclipse.jdt.core.prefs │ └── org.eclipse.m2e.core.prefs ├── META-INF │ └── MANIFEST.MF ├── build.properties ├── plugin.properties ├── pom.xml └── src │ ├── main │ └── java │ │ └── org │ │ └── sat4j │ │ ├── csp │ │ ├── CSPLauncher.java │ │ ├── Clausifiable.java │ │ ├── Constant.java │ │ ├── CspSatSolverDecorator.java │ │ ├── Domain.java │ │ ├── Domains.java │ │ ├── Encoding.java │ │ ├── EnumeratedDomain.java │ │ ├── Evaluable.java │ │ ├── ICspPBSatSolver.java │ │ ├── Predicate.java │ │ ├── RangeDomain.java │ │ ├── SingletonDomain.java │ │ ├── SolverFactory.java │ │ ├── Var.java │ │ ├── constraints │ │ │ ├── AllDiff.java │ │ │ ├── AllDiffCard.java │ │ │ ├── BessiereSupports.java │ │ │ ├── GentSupports.java │ │ │ ├── Nogoods.java │ │ │ ├── Relation.java │ │ │ ├── Supports.java │ │ │ ├── WalshSupports.java │ │ │ └── package.html │ │ ├── constraints3 │ │ │ ├── ComparisonCtrBuilder.java │ │ │ ├── ConnectionCtrBuilder.java │ │ │ ├── CountingCtrBuilder.java │ │ │ ├── CtrBuilderUtils.java │ │ │ ├── ElementaryCtrBuilder.java │ │ │ ├── GenericCtrBuilder.java │ │ │ ├── LanguageCtrBuilder.java │ │ │ ├── ObjBuilder.java │ │ │ ├── SchedulingCtrBuilder.java │ │ │ └── StringCondition.java │ │ ├── encodings │ │ │ ├── BinarySupportEncoding.java │ │ │ ├── DirectEncoding.java │ │ │ └── GeneralizedSupportEncoding.java │ │ ├── intension │ │ │ ├── CspToPBSolverDecorator.java │ │ │ ├── EExpressionType.java │ │ │ ├── EOperator.java │ │ │ ├── ICspToSatEncoder.java │ │ │ ├── IExpression.java │ │ │ ├── IIntensionCtrEncoder.java │ │ │ ├── IntegerExpression.java │ │ │ ├── IntensionCtrEncoderFactory.java │ │ │ ├── NogoodBasedIntensionCtrEncoder.java │ │ │ ├── OperatorExpression.java │ │ │ ├── Parser.java │ │ │ ├── TseitinBasedIntensionCtrEncoder.java │ │ │ └── VarExpression.java │ │ ├── package.html │ │ └── predefinedfunctions.js │ │ └── reader │ │ ├── CSPExtSupportReader.java │ │ ├── CSPInstanceReader.java │ │ ├── CSPReader.java │ │ ├── CSPSupportReader.java │ │ ├── ECSPFormat.java │ │ ├── XMLCSP3Reader.java │ │ ├── XMLCSPReader.java │ │ └── XMLCommentPrintWriter.java │ └── test │ └── java │ └── org │ └── sat4j │ ├── csp │ └── constraints3 │ │ ├── XCSP3Sat4jSolver.java │ │ └── XCSP3TestSuite.java │ └── reader │ └── csp │ └── RangeDomainTest.java ├── org.sat4j.intervalorders ├── .classpath ├── .project ├── .settings │ ├── org.eclipse.jdt.core.prefs │ └── org.eclipse.jdt.ui.prefs ├── META-INF │ └── MANIFEST.MF ├── contreexemple.ino ├── random-interval-orders-10-10.opb ├── random-interval-orders-6-100.sol1.dot ├── random-interval-orders-6-10000.sol1.dot ├── src │ ├── main │ │ └── java │ │ │ └── org │ │ │ └── sat4j │ │ │ └── intervalorders │ │ │ ├── CompactMatrixReader.java │ │ │ ├── IRelation.java │ │ │ ├── Indifferent.java │ │ │ ├── Interval.java │ │ │ ├── NegRelation.java │ │ │ ├── Prefer.java │ │ │ ├── RelationNegator.java │ │ │ └── Tester.java │ └── test │ │ └── java │ │ └── org │ │ └── sat4j │ │ └── intervalorders │ │ └── UnitTests.java └── test.ino ├── org.sat4j.maxsat ├── .classpath ├── .project ├── .settings │ ├── org.eclipse.core.resources.prefs │ ├── org.eclipse.jdt.core.prefs │ ├── org.eclipse.jdt.ui.prefs │ ├── org.eclipse.m2e.core.prefs │ └── org.sonar.ide.eclipse.core.prefs ├── META-INF │ └── MANIFEST.MF ├── build.properties ├── plugin.properties ├── pom.xml └── src │ ├── main │ └── java │ │ ├── org │ │ └── sat4j │ │ │ └── maxsat │ │ │ ├── GenericOptLauncher.java │ │ │ ├── MinCostDecorator.java │ │ │ ├── SolverFactory.java │ │ │ ├── UnitWeightedClause.java │ │ │ ├── WeightedMaxSatDecorator.java │ │ │ ├── package.html │ │ │ └── reader │ │ │ ├── MSInstanceReader.java │ │ │ ├── WDimacsReader.java │ │ │ └── package.html │ │ └── overview.html │ └── test │ ├── java │ └── org │ │ └── sat4j │ │ └── maxsat │ │ ├── BugFatih2.java │ │ ├── BugSAT113.java │ │ ├── BugSAT65.java │ │ ├── BugSAT84.java │ │ ├── MarcelBugsTests.java │ │ ├── MichalBug.java │ │ ├── TestDavid.java │ │ └── TestSoftCard.java │ └── testfiles │ ├── AnotherExample.wcnf │ ├── Example.wcnf │ ├── Inconsistent1.wcnf │ ├── Inconsistent2.wcnf │ ├── Inconsistent_Example.wcnf │ └── encodingWCNF.wcnf ├── org.sat4j.pb ├── .classpath ├── .project ├── .settings │ ├── org.eclipse.core.resources.prefs │ ├── org.eclipse.jdt.core.prefs │ ├── org.eclipse.jdt.ui.prefs │ ├── org.eclipse.m2e.core.prefs │ └── org.sonar.ide.eclipse.core.prefs ├── LICENSE.txt ├── META-INF │ └── MANIFEST.MF ├── build.properties ├── plugin.properties ├── pom.xml └── src │ ├── main │ ├── java │ │ ├── org │ │ │ └── sat4j │ │ │ │ └── pb │ │ │ │ ├── CardConstrLearningSolverLauncher.java │ │ │ │ ├── ConstraintRelaxingPseudoOptDecorator.java │ │ │ │ ├── GroupPBSelectorSolver.java │ │ │ │ ├── IGroupPBSolver.java │ │ │ │ ├── IIntegerPBSolver.java │ │ │ │ ├── IPBSolver.java │ │ │ │ ├── IPBSolverService.java │ │ │ │ ├── LPStringSolver.java │ │ │ │ ├── LanceurPseudo2005.java │ │ │ │ ├── LanceurPseudo2007.java │ │ │ │ ├── LanceurPseudo2007Eclipse.java │ │ │ │ ├── OPBStringSolver.java │ │ │ │ ├── ObjectiveFunction.java │ │ │ │ ├── ObjectiveFunctionComparator.java │ │ │ │ ├── OptToPBSATAdapter.java │ │ │ │ ├── PBSolverDecorator.java │ │ │ │ ├── PBSolverHandle.java │ │ │ │ ├── PseudoIteratorDecorator.java │ │ │ │ ├── PseudoOptDecorator.java │ │ │ │ ├── SolverFactory.java │ │ │ │ ├── UserFriendlyPBStringSolver.java │ │ │ │ ├── constraints │ │ │ │ ├── AbstractPBClauseCardConstrDataStructure.java │ │ │ │ ├── AbstractPBDataStructureFactory.java │ │ │ │ ├── AtLeastCardConstructor.java │ │ │ │ ├── AtLeastCardPBConstructor.java │ │ │ │ ├── CompetMinHTmixedClauseCardConstrDataStructureFactory.java │ │ │ │ ├── CompetResolutionMinPBLongMixedWLClauseCardConstrDataStructure.java │ │ │ │ ├── CompetResolutionPBLongMixedHTClauseCardConstrDataStructure.java │ │ │ │ ├── CompetResolutionPBLongMixedWLClauseCardConstrDataStructure.java │ │ │ │ ├── CompetResolutionPBMixedHTClauseCardConstrDataStructure.java │ │ │ │ ├── CompetResolutionPBMixedWLClauseCardConstrDataStructure.java │ │ │ │ ├── ICardConstructor.java │ │ │ │ ├── IClauseConstructor.java │ │ │ │ ├── IPBConstructor.java │ │ │ │ ├── MaxLongWatchPBCPConstructor.java │ │ │ │ ├── MaxLongWatchPBConstructor.java │ │ │ │ ├── MaxWatchPBConstructor.java │ │ │ │ ├── MinCardConstructor.java │ │ │ │ ├── MinCardPBConstructor.java │ │ │ │ ├── MinLongWatchPBCPConstructor.java │ │ │ │ ├── MinLongWatchPBConstructor.java │ │ │ │ ├── MinWatchPBConstructor.java │ │ │ │ ├── PBContainer.java │ │ │ │ ├── PBLongMaxClauseCardConstrDataStructure.java │ │ │ │ ├── PBLongMinClauseCardConstrDataStructure.java │ │ │ │ ├── PBMaxClauseAtLeastConstrDataStructure.java │ │ │ │ ├── PBMaxClauseCardConstrDataStructure.java │ │ │ │ ├── PBMaxDataStructure.java │ │ │ │ ├── PBMinClauseCardConstrDataStructure.java │ │ │ │ ├── PBMinDataStructure.java │ │ │ │ ├── PuebloMinWatchPBConstructor.java │ │ │ │ ├── PuebloPBMinClauseAtLeastConstrDataStructure.java │ │ │ │ ├── PuebloPBMinClauseCardConstrDataStructure.java │ │ │ │ ├── PuebloPBMinDataStructure.java │ │ │ │ ├── UnitBinaryHTClauseConstructor.java │ │ │ │ ├── UnitBinaryHTClausePBConstructor.java │ │ │ │ ├── UnitBinaryWLClauseConstructor.java │ │ │ │ ├── UnitConciseBinaryWLClauseConstructor.java │ │ │ │ ├── package-info.java │ │ │ │ └── pb │ │ │ │ │ ├── AtLeastPB.java │ │ │ │ │ ├── ConflictMap.java │ │ │ │ │ ├── ConflictMapCardinality.java │ │ │ │ │ ├── ConflictMapClause.java │ │ │ │ │ ├── ConflictMapReduceToCard.java │ │ │ │ │ ├── ConflictMapReduceToClause.java │ │ │ │ │ ├── ConflictMapRounding.java │ │ │ │ │ ├── ConflictMapSwitchToClause.java │ │ │ │ │ ├── IConflict.java │ │ │ │ │ ├── IDataStructurePB.java │ │ │ │ │ ├── IRemoveSatisfiedLiterals.java │ │ │ │ │ ├── IWatchPb.java │ │ │ │ │ ├── InternalMapPBStructure.java │ │ │ │ │ ├── LearntBinaryClausePB.java │ │ │ │ │ ├── LearntHTClausePB.java │ │ │ │ │ ├── MapPb.java │ │ │ │ │ ├── MaxWatchPb.java │ │ │ │ │ ├── MaxWatchPbLong.java │ │ │ │ │ ├── MaxWatchPbLongCP.java │ │ │ │ │ ├── MinWatchCardPB.java │ │ │ │ │ ├── MinWatchPb.java │ │ │ │ │ ├── MinWatchPbLong.java │ │ │ │ │ ├── MinWatchPbLongCP.java │ │ │ │ │ ├── OriginalBinaryClausePB.java │ │ │ │ │ ├── OriginalHTClausePB.java │ │ │ │ │ ├── PBConstr.java │ │ │ │ │ ├── Pseudos.java │ │ │ │ │ ├── PuebloMinWatchPb.java │ │ │ │ │ ├── UnitClausePB.java │ │ │ │ │ ├── UnitClausesPB.java │ │ │ │ │ ├── WatchPb.java │ │ │ │ │ ├── WatchPbLong.java │ │ │ │ │ ├── WatchPbLongCP.java │ │ │ │ │ └── package-info.java │ │ │ │ ├── core │ │ │ │ ├── IPBCDCLSolver.java │ │ │ │ ├── IntegerPBSolverDecorator.java │ │ │ │ ├── IntegerVariable.java │ │ │ │ ├── ObjectiveReducerPBSolverDecorator.java │ │ │ │ ├── PBDataStructureFactory.java │ │ │ │ ├── PBSolver.java │ │ │ │ ├── PBSolverCP.java │ │ │ │ ├── PBSolverCPLong.java │ │ │ │ ├── PBSolverCPLongReduceToCard.java │ │ │ │ ├── PBSolverCPLongRounding.java │ │ │ │ ├── PBSolverCautious.java │ │ │ │ ├── PBSolverClause.java │ │ │ │ ├── PBSolverResCP.java │ │ │ │ ├── PBSolverResolution.java │ │ │ │ ├── PBSolverStats.java │ │ │ │ ├── PBSolverWithImpliedClause.java │ │ │ │ └── package-info.java │ │ │ │ ├── multiobjective │ │ │ │ ├── AbstractLinMultiObjOptimizer.java │ │ │ │ ├── CriterionOptimumComputer.java │ │ │ │ ├── IMultiObjOptimizationProblem.java │ │ │ │ ├── LeximinDecorator.java │ │ │ │ ├── MinSumOWAOptimizer.java │ │ │ │ ├── OrderedObjsOWAOptimizer.java │ │ │ │ └── SumLeximinDecompositionOWAOptimizer.java │ │ │ │ ├── orders │ │ │ │ ├── IOrderObjective.java │ │ │ │ ├── LevelBasedVarOrderHeapObjective.java │ │ │ │ ├── RandomWalkDecoratorObjective.java │ │ │ │ ├── VarOrderHeapObjective.java │ │ │ │ └── package-info.java │ │ │ │ ├── package-info.java │ │ │ │ ├── reader │ │ │ │ ├── JSONPBReader.java │ │ │ │ ├── OPBEclipseReader2007.java │ │ │ │ ├── OPBReader2005.java │ │ │ │ ├── OPBReader2006.java │ │ │ │ ├── OPBReader2007.java │ │ │ │ ├── OPBReader2010.java │ │ │ │ ├── OPBReader2012.java │ │ │ │ ├── PBInstanceReader.java │ │ │ │ └── package-info.java │ │ │ │ └── tools │ │ │ │ ├── AbstractLexicoHelper.java │ │ │ │ ├── AtLeastCard.java │ │ │ │ ├── AtMostCard.java │ │ │ │ ├── CardConstrFinder.java │ │ │ │ ├── ClausalConstraintsDecorator.java │ │ │ │ ├── CombinationIterator.java │ │ │ │ ├── ConflictTracing.java │ │ │ │ ├── DependencyHelper.java │ │ │ │ ├── DimacsToOpb.java │ │ │ │ ├── DisjunctionRHS.java │ │ │ │ ├── INegator.java │ │ │ │ ├── ImplicationAnd.java │ │ │ │ ├── ImplicationNamer.java │ │ │ │ ├── ImplicationRHS.java │ │ │ │ ├── InprocCardConstrLearningSolver.java │ │ │ │ ├── LexicoDecoratorPB.java │ │ │ │ ├── LexicoHelper.java │ │ │ │ ├── LeximinHelper.java │ │ │ │ ├── LinMultiObjHelper.java │ │ │ │ ├── ManyCoreIntegerPB.java │ │ │ │ ├── ManyCorePB.java │ │ │ │ ├── OpbToDimacs.java │ │ │ │ ├── OpbToDimacsWriter.java │ │ │ │ ├── OptimalModelIterator.java │ │ │ │ ├── PBAdapter.java │ │ │ │ ├── PreprocCardConstrLearningSolver.java │ │ │ │ ├── SearchOptimizerListener.java │ │ │ │ ├── SteppedTimeoutLexicoDecoratorPB.java │ │ │ │ ├── SteppedTimeoutLexicoHelper.java │ │ │ │ ├── StringNegator.java │ │ │ │ ├── WeightedObject.java │ │ │ │ ├── XplainPB.java │ │ │ │ └── package-info.java │ │ └── overview.html │ └── resources │ │ └── about.html │ └── test │ ├── java │ └── org │ │ └── sat4j │ │ └── pb │ │ ├── AbstractPBXplainTest.java │ │ ├── AllMusesPBTest.java │ │ ├── BugSAT107.java │ │ ├── BugSAT117.java │ │ ├── BugSAT130.java │ │ ├── BugSAT138.java │ │ ├── BugSAT16.java │ │ ├── BugSAT21.java │ │ ├── BugSAT22.java │ │ ├── BugSAT32.java │ │ ├── BugSAT34.java │ │ ├── BugSAT35.java │ │ ├── BugSAT61.java │ │ ├── BugSAT66.java │ │ ├── BugSat14.java │ │ ├── CardConstrFinderTest.java │ │ ├── Conflict.java │ │ ├── DepdendenyNode.java │ │ ├── Explanation.java │ │ ├── GoodOPBReader.java │ │ ├── JsonPBReaderTest.java │ │ ├── LexicoDecoratorPBTest.java │ │ ├── MikolasTest.java │ │ ├── OptimalModelIteratorTest.java │ │ ├── PbmOPBStringSolver.java │ │ ├── TestDeletionXplain.java │ │ ├── TestDependencyHelper.java │ │ ├── TestEclipseBug247567.java │ │ ├── TestEclipseBug275101.java │ │ ├── TestGlobalTimeoutForOptimalModelEnumeration.java │ │ ├── TestInsertionXplain.java │ │ ├── TestLonca.java │ │ ├── TestObjectiveFunction.java │ │ ├── TestQuickXplain.java │ │ ├── XplainTests.java │ │ ├── constraints │ │ ├── AbstractEZPseudoBooleanAndPigeonHoleTest.java │ │ ├── AbstractPBRandomCardProblemsTest.java │ │ ├── AbstractPigeonHoleWithCardinalityTest.java │ │ ├── AbstractPseudoBooleanAndPigeonHoleTest.java │ │ ├── AbstractRandomCardProblemsTest.java │ │ ├── AllTests.java │ │ ├── CompetMinPBResLongWLMixedConstraintsObjectiveLearningTest.java │ │ ├── CompetPBResHTMixedConstraintsObjectiveLearningTest.java │ │ ├── CompetPBResLongHTMixedConstraintsObjectiveLearningTest.java │ │ ├── CompetPBResLongWLMixedConstraintsObjectiveLearningTest.java │ │ ├── CompetPBResMinHTMixedConstraintsObjectiveLearningTest.java │ │ ├── CounterPBConstrClauseImpliedWithClauseCardConstrLearning.java │ │ ├── CounterPBConstrOnRandomCardProblemsTest.java │ │ ├── CounterPBConstrWithClauseAtLeastConstrLearningTest.java │ │ ├── CounterPBConstrWithClauseCardConstrLearningTest.java │ │ ├── CounterPBConstrWithClauseLearningTest.java │ │ ├── CounterPBConstrWithPBConstrLearningTest.java │ │ ├── CounterPBWithClauseCardConstrLearningReduceToClauseTest.java │ │ ├── MiniOPBClauseCardMinLearningTest.java │ │ ├── MiniOPBLongClauseCardMinLearningTest.java │ │ ├── PBCPLongMaxClauseCardConstrLearningTest.java │ │ ├── PBCPLongMinClauseCardConstrLearningTest.java │ │ ├── PBCPMaxClauseCardConstrLearningTest.java │ │ ├── PBCPMinClauseCardConstrLearningTest.java │ │ ├── PBCPMixedConstraintsCautiousTest.java │ │ ├── PBCPMixedConstraintsResCPTest.java │ │ ├── PBCPRemoveSatisfiedMixedConstraintsLongLearningTest.java │ │ ├── PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest.java │ │ ├── PuebloWatchedPBConstrOnRandomCardProblemsTest.java │ │ ├── PuebloWatchedPBConstrWithClauseLearningTest.java │ │ ├── PuebloWatchedPBConstrWithPBConstrLearningTest.java │ │ ├── PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.java │ │ ├── TestQuickExplainPB.java │ │ ├── WatchedCardConstrOnRandomCardProblemsTest.java │ │ ├── WatchedPBConstrOnRandomCardProblemsTest.java │ │ ├── WatchedPBConstrWithClauseLearningTest.java │ │ └── WatchedPBConstrWithPBConstrLearningTest.java │ │ └── multiobjective │ │ ├── MinSumOWAOptimizerTest.java │ │ └── OS3OWAOptimizerTest.java │ └── testfiles │ ├── 10_10_4-5_0-5_100.opb │ ├── 10_10_4-5_0-95_100.opb │ ├── 10_10_4-5_0-95_98.opb │ ├── 10_20_4-5_0-5_100.opb │ ├── 10_20_4-5_0-95_100.opb │ ├── 10_20_4-5_0-95_98.opb │ ├── 30_30_4-5_0-5_100.opb │ ├── 30_30_4-5_0-95_100.opb │ ├── 30_30_4-5_0-95_98.opb │ ├── 30_70_4-5_0-5_100.opb │ ├── 30_70_4-5_0-95_100.opb │ ├── 30_70_4-5_0-95_98.opb │ ├── air03.opb │ ├── air04.opb │ ├── air05.opb │ ├── bug-1.opb │ ├── bug-2.opb │ ├── bug-3.opb │ ├── bug247567.opb │ ├── bug275101.opb │ ├── cap6000.opb │ ├── enigma.opb │ ├── fast0507.opb │ ├── harp2.opb │ ├── l152lav.opb │ ├── lseu.opb │ ├── misc03.opb │ ├── misc07.opb │ ├── mitre.opb │ ├── mod0010.opb │ ├── mod0011.opb │ ├── mod008.opb │ ├── modglob.opb │ ├── normalized-opb │ └── submitted │ │ ├── aloul │ │ └── FPGA_SAT05 │ │ │ ├── normalized-chnl10_11_pb.cnf.cr.opb │ │ │ ├── normalized-chnl10_15_pb.cnf.cr.opb │ │ │ ├── normalized-chnl10_20_pb.cnf.cr.opb │ │ │ ├── normalized-chnl15_16_pb.cnf.cr.opb │ │ │ ├── normalized-chnl15_20_pb.cnf.cr.opb │ │ │ ├── normalized-chnl15_25_pb.cnf.cr.opb │ │ │ ├── normalized-chnl20_21_pb.cnf.cr.opb │ │ │ ├── normalized-chnl20_25_pb.cnf.cr.opb │ │ │ ├── normalized-chnl20_30_pb.cnf.cr.opb │ │ │ ├── normalized-chnl30_31_pb.cnf.cr.opb │ │ │ ├── normalized-chnl30_35_pb.cnf.cr.opb │ │ │ ├── normalized-chnl30_40_pb.cnf.cr.opb │ │ │ ├── normalized-chnl35_36_pb.cnf.cr.opb │ │ │ ├── normalized-chnl35_40_pb.cnf.cr.opb │ │ │ ├── normalized-chnl35_45_pb.cnf.cr.opb │ │ │ ├── normalized-chnl40_41_pb.cnf.cr.opb │ │ │ ├── normalized-chnl40_45_pb.cnf.cr.opb │ │ │ ├── normalized-chnl40_50_pb.cnf.cr.opb │ │ │ ├── normalized-chnl50_51_pb.cnf.cr.opb │ │ │ ├── normalized-chnl50_55_pb.cnf.cr.opb │ │ │ ├── normalized-chnl50_60_pb.cnf.cr.opb │ │ │ ├── normalized-fpga10_10_sat_pb.cnf.cr.opb │ │ │ ├── normalized-fpga10_8_sat_pb.cnf.cr.opb │ │ │ ├── normalized-fpga10_9_sat_pb.cnf.cr.opb │ │ │ ├── normalized-fpga11_10_sat_pb.cnf.cr.opb │ │ │ ├── normalized-fpga11_11_sat_pb.cnf.cr.opb │ │ │ ├── normalized-fpga11_9_sat_pb.cnf.cr.opb │ │ │ ├── normalized-fpga12_10_sat_pb.cnf.cr.opb │ │ │ ├── normalized-fpga12_11_sat_pb.cnf.cr.opb │ │ │ ├── normalized-fpga12_12_sat_pb.cnf.cr.opb │ │ │ ├── normalized-fpga13_11_sat_pb.cnf.cr.opb │ │ │ ├── normalized-fpga13_12_sat_pb.cnf.cr.opb │ │ │ ├── normalized-fpga13_13_sat_pb.cnf.cr.opb │ │ │ ├── normalized-fpga14_12_sat_pb.cnf.cr.opb │ │ │ ├── normalized-fpga14_13_sat_pb.cnf.cr.opb │ │ │ ├── normalized-fpga14_14_sat_pb.cnf.cr.opb │ │ │ ├── normalized-fpga15_13_sat_pb.cnf.cr.opb │ │ │ ├── normalized-fpga15_14_sat_pb.cnf.cr.opb │ │ │ ├── normalized-fpga15_15_sat_pb.cnf.cr.opb │ │ │ ├── normalized-fpga20_18_sat_pb.cnf.cr.opb │ │ │ ├── normalized-fpga20_19_sat_pb.cnf.cr.opb │ │ │ ├── normalized-fpga20_20_sat_pb.cnf.cr.opb │ │ │ ├── normalized-fpga25_23_sat_pb.cnf.cr.opb │ │ │ ├── normalized-fpga25_24_sat_pb.cnf.cr.opb │ │ │ ├── normalized-fpga25_25_sat_pb.cnf.cr.opb │ │ │ ├── normalized-fpga30_28_sat_pb.cnf.cr.opb │ │ │ ├── normalized-fpga30_29_sat_pb.cnf.cr.opb │ │ │ ├── normalized-fpga30_30_sat_pb.cnf.cr.opb │ │ │ ├── normalized-fpga35_33_sat_pb.cnf.cr.opb │ │ │ ├── normalized-fpga35_34_sat_pb.cnf.cr.opb │ │ │ ├── normalized-fpga35_35_sat_pb.cnf.cr.opb │ │ │ ├── normalized-fpga40_38_sat_pb.cnf.cr.opb │ │ │ ├── normalized-fpga40_39_sat_pb.cnf.cr.opb │ │ │ ├── normalized-fpga40_40_sat_pb.cnf.cr.opb │ │ │ ├── normalized-fpga45_43_sat_pb.cnf.cr.opb │ │ │ ├── normalized-fpga45_44_sat_pb.cnf.cr.opb │ │ │ └── normalized-fpga45_45_sat_pb.cnf.cr.opb │ │ └── manquinho │ │ ├── logic-synthesis │ │ ├── normalized-5xp1.b.opb │ │ ├── normalized-9sym.b.opb │ │ ├── normalized-alu4.b.opb │ │ ├── normalized-apex4.a.opb │ │ ├── normalized-bench1.pi.opb │ │ ├── normalized-clip.b.opb │ │ ├── normalized-count.b.opb │ │ ├── normalized-e64.b.opb │ │ ├── normalized-ex5.pi.opb │ │ ├── normalized-exam.pi.opb │ │ ├── normalized-f51m.b.opb │ │ ├── normalized-jac3.opb │ │ ├── normalized-max1024.pi.opb │ │ ├── normalized-prom2.pi.opb │ │ ├── normalized-rot.b.opb │ │ ├── normalized-sao2.b.opb │ │ └── normalized-test4.pi.opb │ │ ├── primes-dimacs-cnf │ │ ├── normalized-aim-100-1_6-yes1-1.opb │ │ ├── normalized-aim-100-1_6-yes1-2.opb │ │ ├── normalized-aim-100-1_6-yes1-3.opb │ │ ├── normalized-aim-100-1_6-yes1-4.opb │ │ ├── normalized-aim-100-2_0-yes1-1.opb │ │ ├── normalized-aim-100-2_0-yes1-2.opb │ │ ├── normalized-aim-100-2_0-yes1-3.opb │ │ ├── normalized-aim-100-2_0-yes1-4.opb │ │ ├── normalized-aim-100-3_4-yes1-1.opb │ │ ├── normalized-aim-100-3_4-yes1-2.opb │ │ ├── normalized-aim-100-3_4-yes1-3.opb │ │ ├── normalized-aim-100-3_4-yes1-4.opb │ │ ├── normalized-aim-100-6_0-yes1-1.opb │ │ ├── normalized-aim-100-6_0-yes1-2.opb │ │ ├── normalized-aim-100-6_0-yes1-3.opb │ │ ├── normalized-aim-100-6_0-yes1-4.opb │ │ ├── normalized-aim-200-1_6-yes1-1.opb │ │ ├── normalized-aim-200-1_6-yes1-2.opb │ │ ├── normalized-aim-200-1_6-yes1-3.opb │ │ ├── normalized-aim-200-1_6-yes1-4.opb │ │ ├── normalized-aim-200-2_0-yes1-1.opb │ │ ├── normalized-aim-200-2_0-yes1-2.opb │ │ ├── normalized-aim-200-2_0-yes1-3.opb │ │ ├── normalized-aim-200-2_0-yes1-4.opb │ │ ├── normalized-aim-200-3_4-yes1-1.opb │ │ ├── normalized-aim-200-3_4-yes1-2.opb │ │ ├── normalized-aim-200-3_4-yes1-3.opb │ │ ├── normalized-aim-200-3_4-yes1-4.opb │ │ ├── normalized-aim-200-6_0-yes1-1.opb │ │ ├── normalized-aim-200-6_0-yes1-2.opb │ │ ├── normalized-aim-200-6_0-yes1-3.opb │ │ ├── normalized-aim-200-6_0-yes1-4.opb │ │ ├── normalized-aim-50-1_6-yes1-1.opb │ │ ├── normalized-aim-50-1_6-yes1-2.opb │ │ ├── normalized-aim-50-1_6-yes1-3.opb │ │ ├── normalized-aim-50-1_6-yes1-4.opb │ │ ├── normalized-aim-50-2_0-yes1-1.opb │ │ ├── normalized-aim-50-2_0-yes1-2.opb │ │ ├── normalized-aim-50-2_0-yes1-3.opb │ │ ├── normalized-aim-50-2_0-yes1-4.opb │ │ ├── normalized-aim-50-3_4-yes1-1.opb │ │ ├── normalized-aim-50-3_4-yes1-2.opb │ │ ├── normalized-aim-50-3_4-yes1-3.opb │ │ ├── normalized-aim-50-3_4-yes1-4.opb │ │ ├── normalized-aim-50-6_0-yes1-1.opb │ │ ├── normalized-aim-50-6_0-yes1-2.opb │ │ ├── normalized-aim-50-6_0-yes1-3.opb │ │ ├── normalized-aim-50-6_0-yes1-4.opb │ │ ├── normalized-bf0432-007.opb │ │ ├── normalized-bf1355-075.opb │ │ ├── normalized-bf1355-638.opb │ │ ├── normalized-bf2670-001.opb │ │ ├── normalized-f1000.opb │ │ ├── normalized-f2000.opb │ │ ├── normalized-f600.opb │ │ ├── normalized-g125.17.opb │ │ ├── normalized-g125.18.opb │ │ ├── normalized-g250.15.opb │ │ ├── normalized-g250.29.opb │ │ ├── normalized-hanoi4.opb │ │ ├── normalized-hanoi5.opb │ │ ├── normalized-ii16a1.opb │ │ ├── normalized-ii16a2.opb │ │ ├── normalized-ii16b1.opb │ │ ├── normalized-ii16b2.opb │ │ ├── normalized-ii16c1.opb │ │ ├── normalized-ii16c2.opb │ │ ├── normalized-ii16d1.opb │ │ ├── normalized-ii16d2.opb │ │ ├── normalized-ii16e1.opb │ │ ├── normalized-ii16e2.opb │ │ ├── normalized-ii32a1.opb │ │ ├── normalized-ii32b1.opb │ │ ├── normalized-ii32b2.opb │ │ ├── normalized-ii32b3.opb │ │ ├── normalized-ii32b4.opb │ │ ├── normalized-ii32c1.opb │ │ ├── normalized-ii32c2.opb │ │ ├── normalized-ii32c3.opb │ │ ├── normalized-ii32c4.opb │ │ ├── normalized-ii32d1.opb │ │ ├── normalized-ii32d2.opb │ │ ├── normalized-ii32d3.opb │ │ ├── normalized-ii32e1.opb │ │ ├── normalized-ii32e2.opb │ │ ├── normalized-ii32e3.opb │ │ ├── normalized-ii32e4.opb │ │ ├── normalized-ii32e5.opb │ │ ├── normalized-ii8a1.opb │ │ ├── normalized-ii8a2.opb │ │ ├── normalized-ii8a3.opb │ │ ├── normalized-ii8a4.opb │ │ ├── normalized-ii8b1.opb │ │ ├── normalized-ii8b2.opb │ │ ├── normalized-ii8b3.opb │ │ ├── normalized-ii8b4.opb │ │ ├── normalized-ii8c1.opb │ │ ├── normalized-ii8c2.opb │ │ ├── normalized-ii8d1.opb │ │ ├── normalized-ii8d2.opb │ │ ├── normalized-ii8e1.opb │ │ ├── normalized-ii8e2.opb │ │ ├── normalized-jnh1.opb │ │ ├── normalized-jnh12.opb │ │ ├── normalized-jnh17.opb │ │ ├── normalized-jnh201.opb │ │ ├── normalized-jnh204.opb │ │ ├── normalized-jnh205.opb │ │ ├── normalized-jnh207.opb │ │ ├── normalized-jnh209.opb │ │ ├── normalized-jnh210.opb │ │ ├── normalized-jnh212.opb │ │ ├── normalized-jnh213.opb │ │ ├── normalized-jnh217.opb │ │ ├── normalized-jnh218.opb │ │ ├── normalized-jnh220.opb │ │ ├── normalized-jnh301.opb │ │ ├── normalized-jnh7.opb │ │ ├── normalized-par16-1-c.opb │ │ ├── normalized-par16-1.opb │ │ ├── normalized-par16-2-c.opb │ │ ├── normalized-par16-2.opb │ │ ├── normalized-par16-3-c.opb │ │ ├── normalized-par16-3.opb │ │ ├── normalized-par16-4-c.opb │ │ ├── normalized-par16-4.opb │ │ ├── normalized-par16-5-c.opb │ │ ├── normalized-par16-5.opb │ │ ├── normalized-par32-1-c.opb │ │ ├── normalized-par32-1.opb │ │ ├── normalized-par32-2-c.opb │ │ ├── normalized-par32-2.opb │ │ ├── normalized-par32-3-c.opb │ │ ├── normalized-par32-3.opb │ │ ├── normalized-par32-4-c.opb │ │ ├── normalized-par32-4.opb │ │ ├── normalized-par32-5-c.opb │ │ ├── normalized-par32-5.opb │ │ ├── normalized-par8-1-c.opb │ │ ├── normalized-par8-1.opb │ │ ├── normalized-par8-2-c.opb │ │ ├── normalized-par8-2.opb │ │ ├── normalized-par8-3-c.opb │ │ ├── normalized-par8-3.opb │ │ ├── normalized-par8-4-c.opb │ │ ├── normalized-par8-4.opb │ │ ├── normalized-par8-5-c.opb │ │ ├── normalized-par8-5.opb │ │ ├── normalized-ssa0432-003.opb │ │ ├── normalized-ssa2670-130.opb │ │ ├── normalized-ssa2670-141.opb │ │ ├── normalized-ssa6288-047.opb │ │ ├── normalized-ssa7552-038.opb │ │ ├── normalized-ssa7552-158.opb │ │ ├── normalized-ssa7552-159.opb │ │ └── normalized-ssa7552-160.opb │ │ ├── routing │ │ ├── normalized-s3-3-3-1pb.opb │ │ ├── normalized-s3-3-3-2pb.opb │ │ ├── normalized-s3-3-3-3pb.opb │ │ ├── normalized-s3-3-3-4pb.opb │ │ ├── normalized-s3-3-3-5pb.opb │ │ ├── normalized-s4-4-3-10pb.opb │ │ ├── normalized-s4-4-3-1pb.opb │ │ ├── normalized-s4-4-3-2pb.opb │ │ ├── normalized-s4-4-3-3pb.opb │ │ ├── normalized-s4-4-3-4pb.opb │ │ ├── normalized-s4-4-3-5pb.opb │ │ ├── normalized-s4-4-3-6pb.opb │ │ ├── normalized-s4-4-3-7pb.opb │ │ ├── normalized-s4-4-3-8pb.opb │ │ └── normalized-s4-4-3-9pb.opb │ │ ├── synthesis-ptl-cmos-circuits │ │ ├── normalized-9symml.opb │ │ ├── normalized-C17.opb │ │ ├── normalized-C432.opb │ │ ├── normalized-b1.opb │ │ ├── normalized-c8.opb │ │ ├── normalized-cc.opb │ │ ├── normalized-cm42a.opb │ │ ├── normalized-cmb.opb │ │ ├── normalized-mux.opb │ │ └── normalized-my_adder.opb │ │ └── ttp │ │ ├── normalized-circ10_3.opb │ │ ├── normalized-circ4_3.opb │ │ ├── normalized-circ6_3.opb │ │ ├── normalized-circ8_3.opb │ │ ├── normalized-data10_3.opb │ │ ├── normalized-data4_3.opb │ │ ├── normalized-data6_3.opb │ │ └── normalized-data8_3.opb │ ├── p0033.opb │ ├── p0201.opb │ ├── p0282.opb │ ├── p0548.opb │ ├── p2756.opb │ ├── pigeons │ ├── PN-10-9.opb │ ├── PN-2-3.opb │ ├── PN-3-2.opb │ ├── PN-3-4.opb │ ├── PN-4-3.opb │ ├── PN-4-5.opb │ ├── PN-5-4.opb │ ├── PN-5-6.opb │ ├── PN-6-5.opb │ ├── PN-6-7.opb │ ├── PN-7-6.opb │ ├── PN-7-8.opb │ ├── PN-8-7.opb │ ├── PN-8-9.opb │ ├── PN-9-10.opb │ └── PN-9-8.opb │ ├── random-opb │ ├── rnddeg1.opb │ ├── rnddeg10.opb │ ├── rnddeg11.opb │ ├── rnddeg12.opb │ ├── rnddeg13.opb │ ├── rnddeg14.opb │ ├── rnddeg15.opb │ ├── rnddeg16.opb │ ├── rnddeg17.opb │ ├── rnddeg18.opb │ ├── rnddeg2.opb │ ├── rnddeg3.opb │ ├── rnddeg4.opb │ ├── rnddeg5.opb │ ├── rnddeg6.opb │ ├── rnddeg7.opb │ ├── rnddeg8.opb │ └── rnddeg9.opb │ ├── seymour.opb │ ├── stein27.opb │ └── stein45.opb ├── org.sat4j.sat ├── .classpath ├── .project ├── .settings │ ├── org.eclipse.core.resources.prefs │ ├── org.eclipse.jdt.core.prefs │ ├── org.eclipse.jdt.ui.prefs │ ├── org.eclipse.m2e.core.prefs │ └── org.sonar.ide.eclipse.core.prefs ├── META-INF │ └── MANIFEST.MF ├── build.properties ├── pom.xml └── src │ └── main │ └── java │ ├── org │ └── sat4j │ │ └── sat │ │ ├── CleanCommandComponent.java │ │ ├── CommandComponent.java │ │ ├── DetailedCommandPanel.java │ │ ├── HotSolverCommandComponent.java │ │ ├── Lanceur.java │ │ ├── LaunchRemoteControl.java │ │ ├── Launcher.java │ │ ├── PhaseCommandComponent.java │ │ ├── ProblemType.java │ │ ├── RTSI.java │ │ ├── RandomWalkCommandComponent.java │ │ ├── RemoteControlFrame.java │ │ ├── RemoteControlStrategy.java │ │ ├── RestartCommandComponent.java │ │ ├── SimplifierCommandComponent.java │ │ ├── SolverController.java │ │ ├── Solvers.java │ │ ├── StartSolverEnum.java │ │ ├── VerySimpleCommandPanel.java │ │ ├── package-info.java │ │ └── visu │ │ ├── ChartBasedVisualizationTool.java │ │ ├── GnuplotBasedSolverVisualisation.java │ │ ├── GnuplotDataFile.java │ │ ├── GnuplotFunction.java │ │ ├── JChartBasedSolverVisualisation.java │ │ ├── MyChartPanel.java │ │ ├── PointPainterCross.java │ │ ├── PointPainterPlus.java │ │ ├── SolverVisualisation.java │ │ ├── TraceComposite.java │ │ ├── TracePainterCross.java │ │ ├── TracePainterPlus.java │ │ ├── VisuPreferences.java │ │ ├── VisuPreferencesFrame.java │ │ └── package-info.java │ └── overview.html ├── org.sat4j.scala ├── .cache ├── .classpath ├── .project ├── .settings │ ├── org.eclipse.core.resources.prefs │ ├── org.eclipse.jdt.core.prefs │ └── org.eclipse.m2e.core.prefs ├── .worksheet │ ├── bin │ │ └── org │ │ │ └── sat4j │ │ │ └── scala │ │ │ ├── testLogic$$anonfun$main$1.class │ │ │ ├── testLogic$.class │ │ │ └── testLogic.class │ └── src │ │ ├── logic.testLogic.scala │ │ └── org.sat4j.scala.testLogic.scala ├── pom.xml └── src │ ├── main │ └── scala │ │ └── org │ │ └── sat4j │ │ └── scala │ │ ├── Adapter.scala │ │ ├── BooleanFormulaParserCombinator.scala │ │ ├── Flattener.scala │ │ ├── Logic.scala │ │ ├── Main.scala │ │ └── testLogic.sc │ └── test │ └── scala │ ├── org │ └── sat4j │ │ └── scala │ │ └── LogicTest.scala │ └── samples │ └── junit.scala ├── org.sat4j.sudoku ├── .classpath ├── .cvsignore ├── .project ├── META-INF │ └── MANIFEST.MF ├── lib │ └── jlfgr-1_0.jar ├── reports │ ├── pmd-report.csv │ ├── pmd-report.html │ ├── pmd-report.txt │ ├── pmd-report.vb.html │ └── pmd-report.xml └── src │ └── main │ ├── java │ └── org │ │ └── sat4j │ │ └── apps │ │ └── sudoku │ │ ├── A4Paper.java │ │ ├── ButtonHandler.java │ │ ├── ButtonHandlerFactory.java │ │ ├── CellGrid.java │ │ ├── CellStatus.java │ │ ├── CommandHandler.java │ │ ├── Coordinate.java │ │ ├── CoordinateSet.java │ │ ├── EditCommand.java │ │ ├── EditCommandHandler.java │ │ ├── EditMenu.java │ │ ├── FileCommand.java │ │ ├── FileCommandHandler.java │ │ ├── FileMenu.java │ │ ├── GUIInput.java │ │ ├── GeneralMenu.java │ │ ├── GraphicalOneCell.java │ │ ├── HelpCommand.java │ │ ├── HelpCommandHandler.java │ │ ├── HelpMenu.java │ │ ├── IndexSet.java │ │ ├── InternalReader.java │ │ ├── LineScanner.java │ │ ├── MainProgramWindow.java │ │ ├── OneCell.java │ │ ├── RandomPermutation.java │ │ ├── SDApplet.java │ │ ├── SDApplication.java │ │ ├── SDSize.java │ │ ├── SDWebStart.java │ │ ├── ShowVersions.java │ │ ├── SortedCoordinateSet.java │ │ ├── SuDoku.java │ │ ├── SuDokuResources.java │ │ ├── TextualOneCell.java │ │ ├── WordScanner.java │ │ ├── sudoku.properties │ │ └── sudoku_fr.properties │ └── resources │ ├── ObjectWeb.png │ ├── artois.gif │ ├── cril.png │ ├── ecit.gif │ ├── oeil.jpg │ ├── org │ └── sat4j │ │ └── apps │ │ └── sudoku │ │ └── images │ │ ├── mahjongg-0.jpg │ │ ├── mahjongg-1.jpg │ │ ├── mahjongg-10.jpg │ │ ├── mahjongg-11.jpg │ │ ├── mahjongg-12.jpg │ │ ├── mahjongg-13.jpg │ │ ├── mahjongg-14.jpg │ │ ├── mahjongg-15.jpg │ │ ├── mahjongg-16.jpg │ │ ├── mahjongg-17.jpg │ │ ├── mahjongg-18.jpg │ │ ├── mahjongg-19.jpg │ │ ├── mahjongg-2.jpg │ │ ├── mahjongg-20.jpg │ │ ├── mahjongg-21.jpg │ │ ├── mahjongg-22.jpg │ │ ├── mahjongg-23.jpg │ │ ├── mahjongg-24.jpg │ │ ├── mahjongg-25.jpg │ │ ├── mahjongg-26.jpg │ │ ├── mahjongg-27.jpg │ │ ├── mahjongg-28.jpg │ │ ├── mahjongg-29.jpg │ │ ├── mahjongg-3.jpg │ │ ├── mahjongg-30.jpg │ │ ├── mahjongg-31.jpg │ │ ├── mahjongg-32.jpg │ │ ├── mahjongg-33.jpg │ │ ├── mahjongg-34.jpg │ │ ├── mahjongg-35.jpg │ │ ├── mahjongg-36.jpg │ │ ├── mahjongg-37.jpg │ │ ├── mahjongg-38.jpg │ │ ├── mahjongg-39.jpg │ │ ├── mahjongg-4.jpg │ │ ├── mahjongg-40.jpg │ │ ├── mahjongg-41.jpg │ │ ├── mahjongg-42.jpg │ │ ├── mahjongg-5.jpg │ │ ├── mahjongg-6.jpg │ │ ├── mahjongg-7.jpg │ │ ├── mahjongg-8.jpg │ │ └── mahjongg-9.jpg │ ├── sat4j.png │ ├── sat4jqrcode.png │ └── sudoku.version ├── pom.xml ├── repo └── xcsp3 │ └── xcsp3 │ ├── 3.0 │ ├── xcsp3-3.0.jar │ ├── xcsp3-3.0.jar.md5 │ ├── xcsp3-3.0.jar.sha1 │ ├── xcsp3-3.0.pom │ ├── xcsp3-3.0.pom.md5 │ └── xcsp3-3.0.pom.sha1 │ ├── maven-metadata.xml │ ├── maven-metadata.xml.md5 │ └── maven-metadata.xml.sha1 ├── sat4j-live.bash ├── src └── site │ └── site.xml └── stylesheet.css /.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/.project -------------------------------------------------------------------------------- /.settings/org.eclipse.core.resources.prefs: -------------------------------------------------------------------------------- 1 | eclipse.preferences.version=1 2 | encoding/=UTF-8 3 | -------------------------------------------------------------------------------- /.settings/org.eclipse.m2e.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/.settings/org.eclipse.m2e.core.prefs -------------------------------------------------------------------------------- /META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/README -------------------------------------------------------------------------------- /lib/commons-beanutils.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/lib/commons-beanutils.jar -------------------------------------------------------------------------------- /lib/commons-cli.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/lib/commons-cli.jar -------------------------------------------------------------------------------- /lib/commons-logging.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/lib/commons-logging.jar -------------------------------------------------------------------------------- /lib/jchart2d-3.2.2.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/lib/jchart2d-3.2.2.jar -------------------------------------------------------------------------------- /lib/jchart2d.jar: -------------------------------------------------------------------------------- 1 | jchart2d-3.2.2.jar -------------------------------------------------------------------------------- /lib/mockito-all-1.9.5.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/lib/mockito-all-1.9.5.jar -------------------------------------------------------------------------------- /lib/org.xcsp.tests-1.0.0-SNAPSHOT.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/lib/org.xcsp.tests-1.0.0-SNAPSHOT.jar -------------------------------------------------------------------------------- /lib/xcsp3parser.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/lib/xcsp3parser.jar -------------------------------------------------------------------------------- /org.sat4j.br4cp/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.br4cp/.classpath -------------------------------------------------------------------------------- /org.sat4j.br4cp/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.br4cp/.project -------------------------------------------------------------------------------- /org.sat4j.br4cp/.settings/org.eclipse.jdt.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.br4cp/.settings/org.eclipse.jdt.core.prefs -------------------------------------------------------------------------------- /org.sat4j.br4cp/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.br4cp/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /org.sat4j.br4cp/big.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.br4cp/big.txt -------------------------------------------------------------------------------- /org.sat4j.br4cp/big_prices.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.br4cp/big_prices.txt -------------------------------------------------------------------------------- /org.sat4j.br4cp/bin/org/sat4j/br4cp/AraliaParser.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.br4cp/bin/org/sat4j/br4cp/AraliaParser.class -------------------------------------------------------------------------------- /org.sat4j.br4cp/bin/org/sat4j/br4cp/Br4cpAraliaReader.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.br4cp/bin/org/sat4j/br4cp/Br4cpAraliaReader.class -------------------------------------------------------------------------------- /org.sat4j.br4cp/bin/org/sat4j/br4cp/Br4cpScenarioSimulator.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.br4cp/bin/org/sat4j/br4cp/Br4cpScenarioSimulator.class -------------------------------------------------------------------------------- /org.sat4j.br4cp/bin/org/sat4j/br4cp/ConfigVarMap.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.br4cp/bin/org/sat4j/br4cp/ConfigVarMap.class -------------------------------------------------------------------------------- /org.sat4j.br4cp/bin/org/sat4j/br4cp/FormulaToSolver.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.br4cp/bin/org/sat4j/br4cp/FormulaToSolver.class -------------------------------------------------------------------------------- /org.sat4j.br4cp/bin/org/sat4j/br4cp/IBr4cpBackboneComputer.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.br4cp/bin/org/sat4j/br4cp/IBr4cpBackboneComputer.class -------------------------------------------------------------------------------- /org.sat4j.br4cp/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.br4cp/pom.xml -------------------------------------------------------------------------------- /org.sat4j.br4cp/small.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.br4cp/small.txt -------------------------------------------------------------------------------- /org.sat4j.br4cp/small_prices.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.br4cp/small_prices.txt -------------------------------------------------------------------------------- /org.sat4j.br4cp/src/main/java/br4cp/Configurator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.br4cp/src/main/java/br4cp/Configurator.java -------------------------------------------------------------------------------- /org.sat4j.br4cp/src/main/java/br4cp/ConfiguratorFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.br4cp/src/main/java/br4cp/ConfiguratorFactory.java -------------------------------------------------------------------------------- /org.sat4j.br4cp/src/main/java/br4cp/Protocol.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.br4cp/src/main/java/br4cp/Protocol.java -------------------------------------------------------------------------------- /org.sat4j.br4cp/src/main/java/org/sat4j/br4cp/AraliaParser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.br4cp/src/main/java/org/sat4j/br4cp/AraliaParser.java -------------------------------------------------------------------------------- /org.sat4j.br4cp/src/main/java/org/sat4j/br4cp/Br4cpAraliaReader.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.br4cp/src/main/java/org/sat4j/br4cp/Br4cpAraliaReader.java -------------------------------------------------------------------------------- /org.sat4j.br4cp/src/main/java/org/sat4j/br4cp/Br4cpCLI.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.br4cp/src/main/java/org/sat4j/br4cp/Br4cpCLI.java -------------------------------------------------------------------------------- /org.sat4j.br4cp/src/main/java/org/sat4j/br4cp/Br4cpConfigurator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.br4cp/src/main/java/org/sat4j/br4cp/Br4cpConfigurator.java -------------------------------------------------------------------------------- /org.sat4j.br4cp/src/main/java/org/sat4j/br4cp/ConfigVarMap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.br4cp/src/main/java/org/sat4j/br4cp/ConfigVarMap.java -------------------------------------------------------------------------------- /org.sat4j.br4cp/src/main/java/org/sat4j/br4cp/FormulaToSolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.br4cp/src/main/java/org/sat4j/br4cp/FormulaToSolver.java -------------------------------------------------------------------------------- /org.sat4j.br4cp/src/main/java/org/sat4j/br4cp/Launcher.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.br4cp/src/main/java/org/sat4j/br4cp/Launcher.java -------------------------------------------------------------------------------- /org.sat4j.br4cp/src/main/java/org/sat4j/br4cp/Options.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.br4cp/src/main/java/org/sat4j/br4cp/Options.java -------------------------------------------------------------------------------- /org.sat4j.br4cp/src/main/java/org/sat4j/br4cp/Utils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.br4cp/src/main/java/org/sat4j/br4cp/Utils.java -------------------------------------------------------------------------------- /org.sat4j.br4cp/src/main/java/org/sat4j/br4cp/Valeur.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.br4cp/src/main/java/org/sat4j/br4cp/Valeur.java -------------------------------------------------------------------------------- /org.sat4j.br4cp/src/test/java/org/sat4j/br4cp/TestConfigurator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.br4cp/src/test/java/org/sat4j/br4cp/TestConfigurator.java -------------------------------------------------------------------------------- /org.sat4j.core/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/.classpath -------------------------------------------------------------------------------- /org.sat4j.core/.cvsignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/.cvsignore -------------------------------------------------------------------------------- /org.sat4j.core/.fbprefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/.fbprefs -------------------------------------------------------------------------------- /org.sat4j.core/.pmd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/.pmd -------------------------------------------------------------------------------- /org.sat4j.core/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/.project -------------------------------------------------------------------------------- /org.sat4j.core/.settings/.api_filters: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/.settings/.api_filters -------------------------------------------------------------------------------- /org.sat4j.core/.settings/org.eclipse.core.resources.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/.settings/org.eclipse.core.resources.prefs -------------------------------------------------------------------------------- /org.sat4j.core/.settings/org.eclipse.jdt.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/.settings/org.eclipse.jdt.core.prefs -------------------------------------------------------------------------------- /org.sat4j.core/.settings/org.eclipse.jdt.ui.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/.settings/org.eclipse.jdt.ui.prefs -------------------------------------------------------------------------------- /org.sat4j.core/.settings/org.eclipse.m2e.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/.settings/org.eclipse.m2e.core.prefs -------------------------------------------------------------------------------- /org.sat4j.core/.settings/org.eclipse.pde.api.tools.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/.settings/org.eclipse.pde.api.tools.prefs -------------------------------------------------------------------------------- /org.sat4j.core/.settings/org.sonar.ide.eclipse.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/.settings/org.sonar.ide.eclipse.core.prefs -------------------------------------------------------------------------------- /org.sat4j.core/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/LICENSE.txt -------------------------------------------------------------------------------- /org.sat4j.core/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /org.sat4j.core/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/build.properties -------------------------------------------------------------------------------- /org.sat4j.core/plugin.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/plugin.properties -------------------------------------------------------------------------------- /org.sat4j.core/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/pom.xml -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/AbstractLauncher.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/AbstractLauncher.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/BasicLauncher.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/BasicLauncher.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/DecisionMode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/DecisionMode.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/ExitCode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/ExitCode.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/ILauncherMode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/ILauncherMode.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/LightFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/LightFactory.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/MUSLauncher.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/MUSLauncher.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/Messages.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/Messages.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/OptimizationMode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/OptimizationMode.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/core/ASolverFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/core/ASolverFactory.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/core/ConstrGroup.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/core/ConstrGroup.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/core/DefaultComparator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/core/DefaultComparator.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/core/EmptyVecInt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/core/EmptyVecInt.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/core/LiteralsUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/core/LiteralsUtils.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/core/ReadOnlyVec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/core/ReadOnlyVec.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/core/ReadOnlyVecInt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/core/ReadOnlyVecInt.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/core/Vec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/core/Vec.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/core/VecInt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/core/VecInt.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/core/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/core/package-info.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/messages.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/messages.properties -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/minisat/SolverFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/minisat/SolverFactory.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/minisat/core/AgeLCDS.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/minisat/core/AgeLCDS.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/minisat/core/Counter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/minisat/core/Counter.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/minisat/core/GlucoseLCDS.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/minisat/core/GlucoseLCDS.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/minisat/core/Heap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/minisat/core/Heap.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/minisat/core/ICDCL.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/minisat/core/ICDCL.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/minisat/core/ILits.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/minisat/core/ILits.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/minisat/core/IOrder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/minisat/core/IOrder.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/minisat/core/ISimplifier.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/minisat/core/ISimplifier.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/minisat/core/IntQueue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/minisat/core/IntQueue.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/minisat/core/Learner.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/minisat/core/Learner.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/minisat/core/Pair.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/minisat/core/Pair.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/minisat/core/SizeLCDS.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/minisat/core/SizeLCDS.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/minisat/core/Solver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/minisat/core/Solver.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/minisat/core/SolverStats.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/minisat/core/SolverStats.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/minisat/core/Undoable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/minisat/core/Undoable.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/minisat/core/VoidTracing.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/minisat/core/VoidTracing.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/minisat/orders/PureOrder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/minisat/orders/PureOrder.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/minisat/orders/ValuedLit.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/minisat/orders/ValuedLit.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/minisat/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/minisat/package-info.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/opt/MaxSatDecorator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/opt/MaxSatDecorator.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/opt/MinOneDecorator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/opt/MinOneDecorator.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/opt/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/opt/package-info.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/package-info.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/reader/AAGReader.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/reader/AAGReader.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/reader/AIGReader.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/reader/AIGReader.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/reader/DimacsReader.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/reader/DimacsReader.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/reader/EfficientScanner.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/reader/EfficientScanner.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/reader/GroupedCNFReader.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/reader/GroupedCNFReader.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/reader/InstanceReader.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/reader/InstanceReader.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/reader/JSONReader.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/reader/JSONReader.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/reader/LecteurDimacs.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/reader/LecteurDimacs.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/reader/Reader.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/reader/Reader.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/reader/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/reader/package-info.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/specs/Constr.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/specs/Constr.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/specs/IConstr.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/specs/IConstr.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/specs/IGroupSolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/specs/IGroupSolver.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/specs/ILogAble.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/specs/ILogAble.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/specs/IProblem.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/specs/IProblem.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/specs/ISolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/specs/ISolver.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/specs/ISolverService.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/specs/ISolverService.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/specs/IVec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/specs/IVec.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/specs/IVecInt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/specs/IVecInt.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/specs/IteratorInt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/specs/IteratorInt.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/specs/Lbool.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/specs/Lbool.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/specs/Propagatable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/specs/Propagatable.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/specs/RandomAccessModel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/specs/RandomAccessModel.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/specs/SearchListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/specs/SearchListener.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/specs/TimeoutException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/specs/TimeoutException.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/specs/UnitClauseProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/specs/UnitClauseProvider.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/specs/VarMapper.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/specs/VarMapper.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/specs/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/specs/package-info.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/tools/AllMUSes.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/tools/AllMUSes.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/tools/Backbone.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/tools/Backbone.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/tools/DecisionTracing.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/tools/DecisionTracing.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/tools/DimacsArrayReader.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/tools/DimacsArrayReader.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/tools/DimacsOutputSolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/tools/DimacsOutputSolver.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/tools/DimacsStringSolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/tools/DimacsStringSolver.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/tools/DotSearchTracing.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/tools/DotSearchTracing.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/tools/EmptySolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/tools/EmptySolver.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/tools/GateTranslator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/tools/GateTranslator.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/tools/HeuristicsTracing.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/tools/HeuristicsTracing.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/tools/IVisualizationTool.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/tools/IVisualizationTool.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/tools/LBDTracing.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/tools/LBDTracing.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/tools/LearnedTracing.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/tools/LearnedTracing.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/tools/LexicoDecorator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/tools/LexicoDecorator.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/tools/ManyCore.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/tools/ManyCore.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/tools/ModelIterator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/tools/ModelIterator.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/tools/MultiTracing.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/tools/MultiTracing.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/tools/NegationDecorator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/tools/NegationDecorator.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/tools/OptToSatAdapter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/tools/OptToSatAdapter.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/tools/OutcomeListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/tools/OutcomeListener.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/tools/RemiUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/tools/RemiUtils.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/tools/RupSearchListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/tools/RupSearchListener.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/tools/SolutionCounter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/tools/SolutionCounter.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/tools/SolverDecorator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/tools/SolverDecorator.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/tools/SpeedTracing.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/tools/SpeedTracing.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/tools/StatisticsSolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/tools/StatisticsSolver.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/tools/SubModelIterator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/tools/SubModelIterator.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/tools/TextOutputTracing.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/tools/TextOutputTracing.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/tools/encoding/Binary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/tools/encoding/Binary.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/tools/encoding/Binomial.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/tools/encoding/Binomial.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/tools/encoding/Commander.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/tools/encoding/Commander.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/tools/encoding/Ladder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/tools/encoding/Ladder.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/tools/encoding/Policy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/tools/encoding/Policy.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/tools/encoding/Product.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/tools/encoding/Product.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/tools/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/tools/package-info.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/tools/xplain/Explainer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/tools/xplain/Explainer.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/org/sat4j/tools/xplain/Xplain.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/org/sat4j/tools/xplain/Xplain.java -------------------------------------------------------------------------------- /org.sat4j.core/src/main/java/overview.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/java/overview.html -------------------------------------------------------------------------------- /org.sat4j.core/src/main/resources/about.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/main/resources/about.html -------------------------------------------------------------------------------- /org.sat4j.core/src/main/resources/sat4j.version: -------------------------------------------------------------------------------- 1 | ${version} 2 | -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/bug001.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/bug001.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/AbstractXplainTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/AbstractXplainTest.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/BugSAT107.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/BugSAT107.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/BugSAT109.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/BugSAT109.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/BugSAT117ModelIterator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/BugSAT117ModelIterator.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/BugSAT118.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/BugSAT118.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/BugSAT139.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/BugSAT139.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/BugSAT17.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/BugSAT17.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/BugSAT18.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/BugSAT18.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/BugSAT25.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/BugSAT25.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/BugSAT26.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/BugSAT26.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/BugSAT34.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/BugSAT34.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/BugSAT37.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/BugSAT37.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/BugSAT43.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/BugSAT43.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/BugSAT50.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/BugSAT50.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/BugSAT79.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/BugSAT79.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/BugSAT81.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/BugSAT81.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/BugSAT95.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/BugSAT95.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/ModelIteratorTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/ModelIteratorTest.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/SingleSolutionTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/SingleSolutionTest.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/TestConstrGroup.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/TestConstrGroup.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/TestDeletionXplain.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/TestDeletionXplain.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/TestFreeId.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/TestFreeId.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/TestInsertionXplain.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/TestInsertionXplain.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/TestQuickXplain.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/TestQuickXplain.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/TestQuickXplain2001.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/TestQuickXplain2001.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/TestSatAssumps.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/TestSatAssumps.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/TestSolverEngine.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/TestSolverEngine.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/core/JsonReaderTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/core/JsonReaderTest.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/core/VecTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/core/VecTest.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/minisat/AbstractM2Test.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/minisat/AbstractM2Test.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/minisat/AllTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/minisat/AllTests.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/minisat/GenericM2Test.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/minisat/GenericM2Test.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/minisat/M2AtLeastTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/minisat/M2AtLeastTest.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/minisat/M2MiniSATTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/minisat/M2MiniSATTest.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/minisat/TestAssertion.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/minisat/TestAssertion.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/minisat/TestLubyFunction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/minisat/TestLubyFunction.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/minisat/VarOrderTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/minisat/VarOrderTest.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/minisat/core/Bug275101.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/minisat/core/Bug275101.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/minisat/core/BugFatih.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/minisat/core/BugFatih.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/minisat/core/BugFatih2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/minisat/core/BugFatih2.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/minisat/core/BugReset.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/minisat/core/BugReset.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/minisat/core/BugSAT117.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/minisat/core/BugSAT117.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/minisat/core/BugThomas.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/minisat/core/BugThomas.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/minisat/core/HeapTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/minisat/core/HeapTest.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/minisat/core/LboolTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/minisat/core/LboolTest.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/minisat/core/QueueTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/minisat/core/QueueTest.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/minisat/core/TestAtMost.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/minisat/core/TestAtMost.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/tools/BackboneTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/tools/BackboneTest.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/tools/RemiUtilsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/tools/RemiUtilsTest.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/tools/TestAllMSSes.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/tools/TestAllMSSes.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/tools/TestAllMUSes.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/tools/TestAllMUSes.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/tools/TestCheckItIsAMUS.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/tools/TestCheckItIsAMUS.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/org/sat4j/tools/TestGateTranslator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/org/sat4j/tools/TestGateTranslator.java -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/test1.dimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/test1.dimacs -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/test2.dimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/test2.dimacs -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/test3.dimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/test3.dimacs -------------------------------------------------------------------------------- /org.sat4j.core/src/test/java/testcomments.dimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/java/testcomments.dimacs -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/Eshop-fm.dimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/Eshop-fm.dimacs -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim-50-no-ok.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim-50-no-ok.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim-50-yes-ok.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim-50-yes-ok.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-100-1_6-no-1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-100-1_6-no-1.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-100-1_6-no-2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-100-1_6-no-2.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-100-1_6-no-3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-100-1_6-no-3.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-100-1_6-no-4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-100-1_6-no-4.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-100-1_6-yes1-1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-100-1_6-yes1-1.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-100-1_6-yes1-2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-100-1_6-yes1-2.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-100-1_6-yes1-3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-100-1_6-yes1-3.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-100-1_6-yes1-4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-100-1_6-yes1-4.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-100-2_0-no-1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-100-2_0-no-1.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-100-2_0-no-2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-100-2_0-no-2.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-100-2_0-no-3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-100-2_0-no-3.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-100-2_0-no-4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-100-2_0-no-4.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-100-2_0-yes1-1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-100-2_0-yes1-1.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-100-2_0-yes1-2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-100-2_0-yes1-2.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-100-2_0-yes1-3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-100-2_0-yes1-3.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-100-2_0-yes1-4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-100-2_0-yes1-4.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-100-3_4-yes1-1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-100-3_4-yes1-1.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-100-3_4-yes1-2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-100-3_4-yes1-2.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-100-3_4-yes1-3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-100-3_4-yes1-3.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-100-3_4-yes1-4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-100-3_4-yes1-4.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-100-6_0-yes1-1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-100-6_0-yes1-1.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-100-6_0-yes1-2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-100-6_0-yes1-2.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-100-6_0-yes1-3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-100-6_0-yes1-3.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-100-6_0-yes1-4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-100-6_0-yes1-4.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-200-1_6-no-1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-200-1_6-no-1.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-200-1_6-no-2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-200-1_6-no-2.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-200-1_6-no-3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-200-1_6-no-3.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-200-1_6-no-4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-200-1_6-no-4.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-200-1_6-yes1-1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-200-1_6-yes1-1.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-200-1_6-yes1-2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-200-1_6-yes1-2.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-200-1_6-yes1-3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-200-1_6-yes1-3.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-200-1_6-yes1-4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-200-1_6-yes1-4.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-200-2_0-no-1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-200-2_0-no-1.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-200-2_0-no-2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-200-2_0-no-2.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-200-2_0-no-3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-200-2_0-no-3.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-200-2_0-no-4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-200-2_0-no-4.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-200-2_0-yes1-1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-200-2_0-yes1-1.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-200-2_0-yes1-2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-200-2_0-yes1-2.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-200-2_0-yes1-3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-200-2_0-yes1-3.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-200-2_0-yes1-4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-200-2_0-yes1-4.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-200-3_4-yes1-1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-200-3_4-yes1-1.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-200-3_4-yes1-2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-200-3_4-yes1-2.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-200-3_4-yes1-3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-200-3_4-yes1-3.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-200-3_4-yes1-4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-200-3_4-yes1-4.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-200-6_0-yes1-1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-200-6_0-yes1-1.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-200-6_0-yes1-2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-200-6_0-yes1-2.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-200-6_0-yes1-3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-200-6_0-yes1-3.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-200-6_0-yes1-4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-200-6_0-yes1-4.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-50-1_6-no-1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-50-1_6-no-1.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-50-1_6-no-2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-50-1_6-no-2.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-50-1_6-no-3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-50-1_6-no-3.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-50-1_6-no-4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-50-1_6-no-4.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-50-1_6-yes1-1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-50-1_6-yes1-1.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-50-1_6-yes1-2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-50-1_6-yes1-2.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-50-1_6-yes1-3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-50-1_6-yes1-3.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-50-1_6-yes1-4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-50-1_6-yes1-4.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-50-2_0-no-1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-50-2_0-no-1.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-50-2_0-no-2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-50-2_0-no-2.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-50-2_0-no-3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-50-2_0-no-3.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-50-2_0-no-4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-50-2_0-no-4.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-50-2_0-yes1-1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-50-2_0-yes1-1.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-50-2_0-yes1-2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-50-2_0-yes1-2.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-50-2_0-yes1-3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-50-2_0-yes1-3.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-50-2_0-yes1-4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-50-2_0-yes1-4.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-50-3_4-yes1-1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-50-3_4-yes1-1.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-50-3_4-yes1-2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-50-3_4-yes1-2.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-50-3_4-yes1-3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-50-3_4-yes1-3.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-50-3_4-yes1-4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-50-3_4-yes1-4.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-50-6_0-yes1-1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-50-6_0-yes1-1.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-50-6_0-yes1-2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-50-6_0-yes1-2.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-50-6_0-yes1-3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-50-6_0-yes1-3.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/aim/aim-50-6_0-yes1-4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/aim/aim-50-6_0-yes1-4.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/bug001.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/bug001.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/eb42.dimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/eb42.dimacs -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/ii/ii16a1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/ii/ii16a1.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/ii/ii16a2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/ii/ii16a2.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/ii/ii16b1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/ii/ii16b1.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/ii/ii16b2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/ii/ii16b2.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/ii/ii16c1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/ii/ii16c1.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/ii/ii16c2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/ii/ii16c2.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/ii/ii16d1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/ii/ii16d1.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/ii/ii16d2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/ii/ii16d2.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/ii/ii16e1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/ii/ii16e1.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/ii/ii16e2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/ii/ii16e2.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/ii/ii32a1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/ii/ii32a1.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/ii/ii32b1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/ii/ii32b1.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/ii/ii32b2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/ii/ii32b2.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/ii/ii32b3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/ii/ii32b3.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/ii/ii32b4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/ii/ii32b4.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/ii/ii32c1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/ii/ii32c1.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/ii/ii32c2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/ii/ii32c2.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/ii/ii32c3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/ii/ii32c3.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/ii/ii32c4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/ii/ii32c4.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/ii/ii32d1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/ii/ii32d1.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/ii/ii32d2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/ii/ii32d2.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/ii/ii32d3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/ii/ii32d3.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/ii/ii32e1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/ii/ii32e1.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/ii/ii32e2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/ii/ii32e2.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/ii/ii32e3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/ii/ii32e3.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/ii/ii32e4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/ii/ii32e4.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/ii/ii32e5.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/ii/ii32e5.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/ii/ii8a1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/ii/ii8a1.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/ii/ii8a2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/ii/ii8a2.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/ii/ii8a3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/ii/ii8a3.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/ii/ii8a4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/ii/ii8a4.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/ii/ii8b1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/ii/ii8b1.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/ii/ii8b2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/ii/ii8b2.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/ii/ii8b3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/ii/ii8b3.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/ii/ii8b4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/ii/ii8b4.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/ii/ii8c1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/ii/ii8c1.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/ii/ii8c2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/ii/ii8c2.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/ii/ii8d1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/ii/ii8d1.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/ii/ii8d2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/ii/ii8d2.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/ii/ii8e1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/ii/ii8e1.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/ii/ii8e2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/ii/ii8e2.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/jnh/jnh1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/jnh/jnh1.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/jnh/jnh10.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/jnh/jnh10.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/jnh/jnh11.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/jnh/jnh11.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/jnh/jnh12.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/jnh/jnh12.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/jnh/jnh13.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/jnh/jnh13.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/jnh/jnh14.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/jnh/jnh14.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/jnh/jnh15.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/jnh/jnh15.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/jnh/jnh16.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/jnh/jnh16.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/jnh/jnh17.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/jnh/jnh17.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/jnh/jnh18.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/jnh/jnh18.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/jnh/jnh19.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/jnh/jnh19.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/jnh/jnh2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/jnh/jnh2.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/jnh/jnh20.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/jnh/jnh20.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/jnh/jnh201.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/jnh/jnh201.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/jnh/jnh202.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/jnh/jnh202.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/jnh/jnh203.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/jnh/jnh203.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/jnh/jnh204.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/jnh/jnh204.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/jnh/jnh205.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/jnh/jnh205.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/jnh/jnh206.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/jnh/jnh206.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/jnh/jnh207.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/jnh/jnh207.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/jnh/jnh208.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/jnh/jnh208.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/jnh/jnh209.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/jnh/jnh209.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/jnh/jnh210.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/jnh/jnh210.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/jnh/jnh211.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/jnh/jnh211.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/jnh/jnh212.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/jnh/jnh212.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/jnh/jnh213.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/jnh/jnh213.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/jnh/jnh214.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/jnh/jnh214.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/jnh/jnh215.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/jnh/jnh215.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/jnh/jnh216.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/jnh/jnh216.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/jnh/jnh217.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/jnh/jnh217.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/jnh/jnh218.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/jnh/jnh218.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/jnh/jnh219.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/jnh/jnh219.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/jnh/jnh220.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/jnh/jnh220.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/jnh/jnh3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/jnh/jnh3.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/jnh/jnh301.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/jnh/jnh301.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/jnh/jnh302.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/jnh/jnh302.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/jnh/jnh303.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/jnh/jnh303.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/jnh/jnh304.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/jnh/jnh304.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/jnh/jnh305.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/jnh/jnh305.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/jnh/jnh306.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/jnh/jnh306.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/jnh/jnh307.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/jnh/jnh307.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/jnh/jnh308.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/jnh/jnh308.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/jnh/jnh309.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/jnh/jnh309.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/jnh/jnh310.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/jnh/jnh310.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/jnh/jnh4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/jnh/jnh4.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/jnh/jnh5.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/jnh/jnh5.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/jnh/jnh6.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/jnh/jnh6.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/jnh/jnh7.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/jnh/jnh7.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/jnh/jnh8.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/jnh/jnh8.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/jnh/jnh9.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/jnh/jnh9.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/pigeons/hole6.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/pigeons/hole6.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/pigeons/hole7.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/pigeons/hole7.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/test1.dimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/test1.dimacs -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/test2.dimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/test2.dimacs -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/test3.dimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/test3.dimacs -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/testcomments.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/testcomments.cnf -------------------------------------------------------------------------------- /org.sat4j.core/src/test/testfiles/testcomments.dimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.core/src/test/testfiles/testcomments.dimacs -------------------------------------------------------------------------------- /org.sat4j.csp.xmlparser/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp.xmlparser/.classpath -------------------------------------------------------------------------------- /org.sat4j.csp.xmlparser/.cvsignore: -------------------------------------------------------------------------------- 1 | bin 2 | -------------------------------------------------------------------------------- /org.sat4j.csp.xmlparser/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp.xmlparser/.project -------------------------------------------------------------------------------- /org.sat4j.csp.xmlparser/.settings/org.eclipse.core.resources.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp.xmlparser/.settings/org.eclipse.core.resources.prefs -------------------------------------------------------------------------------- /org.sat4j.csp.xmlparser/.settings/org.eclipse.jdt.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp.xmlparser/.settings/org.eclipse.jdt.core.prefs -------------------------------------------------------------------------------- /org.sat4j.csp.xmlparser/.settings/org.eclipse.m2e.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp.xmlparser/.settings/org.eclipse.m2e.core.prefs -------------------------------------------------------------------------------- /org.sat4j.csp.xmlparser/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp.xmlparser/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /org.sat4j.csp.xmlparser/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp.xmlparser/build.properties -------------------------------------------------------------------------------- /org.sat4j.csp.xmlparser/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp.xmlparser/pom.xml -------------------------------------------------------------------------------- /org.sat4j.csp.xmlparser/src/main/java/org/sat4j/csp/main/Test.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp.xmlparser/src/main/java/org/sat4j/csp/main/Test.java -------------------------------------------------------------------------------- /org.sat4j.csp.xmlparser/src/main/java/org/sat4j/csp/xml/Domain.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp.xmlparser/src/main/java/org/sat4j/csp/xml/Domain.java -------------------------------------------------------------------------------- /org.sat4j.csp.xmlparser/src/main/java/org/sat4j/csp/xml/Domains.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp.xmlparser/src/main/java/org/sat4j/csp/xml/Domains.java -------------------------------------------------------------------------------- /org.sat4j.csp.xmlparser/src/main/java/org/sat4j/csp/xml/Element.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp.xmlparser/src/main/java/org/sat4j/csp/xml/Element.java -------------------------------------------------------------------------------- /org.sat4j.csp.xmlparser/src/main/resources/instance_2_0.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp.xmlparser/src/main/resources/instance_2_0.xsd -------------------------------------------------------------------------------- /org.sat4j.csp/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp/.classpath -------------------------------------------------------------------------------- /org.sat4j.csp/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp/.project -------------------------------------------------------------------------------- /org.sat4j.csp/.settings/org.eclipse.core.resources.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp/.settings/org.eclipse.core.resources.prefs -------------------------------------------------------------------------------- /org.sat4j.csp/.settings/org.eclipse.jdt.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp/.settings/org.eclipse.jdt.core.prefs -------------------------------------------------------------------------------- /org.sat4j.csp/.settings/org.eclipse.m2e.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp/.settings/org.eclipse.m2e.core.prefs -------------------------------------------------------------------------------- /org.sat4j.csp/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /org.sat4j.csp/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp/build.properties -------------------------------------------------------------------------------- /org.sat4j.csp/plugin.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp/plugin.properties -------------------------------------------------------------------------------- /org.sat4j.csp/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp/pom.xml -------------------------------------------------------------------------------- /org.sat4j.csp/src/main/java/org/sat4j/csp/CSPLauncher.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp/src/main/java/org/sat4j/csp/CSPLauncher.java -------------------------------------------------------------------------------- /org.sat4j.csp/src/main/java/org/sat4j/csp/Clausifiable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp/src/main/java/org/sat4j/csp/Clausifiable.java -------------------------------------------------------------------------------- /org.sat4j.csp/src/main/java/org/sat4j/csp/Constant.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp/src/main/java/org/sat4j/csp/Constant.java -------------------------------------------------------------------------------- /org.sat4j.csp/src/main/java/org/sat4j/csp/CspSatSolverDecorator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp/src/main/java/org/sat4j/csp/CspSatSolverDecorator.java -------------------------------------------------------------------------------- /org.sat4j.csp/src/main/java/org/sat4j/csp/Domain.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp/src/main/java/org/sat4j/csp/Domain.java -------------------------------------------------------------------------------- /org.sat4j.csp/src/main/java/org/sat4j/csp/Domains.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp/src/main/java/org/sat4j/csp/Domains.java -------------------------------------------------------------------------------- /org.sat4j.csp/src/main/java/org/sat4j/csp/Encoding.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp/src/main/java/org/sat4j/csp/Encoding.java -------------------------------------------------------------------------------- /org.sat4j.csp/src/main/java/org/sat4j/csp/EnumeratedDomain.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp/src/main/java/org/sat4j/csp/EnumeratedDomain.java -------------------------------------------------------------------------------- /org.sat4j.csp/src/main/java/org/sat4j/csp/Evaluable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp/src/main/java/org/sat4j/csp/Evaluable.java -------------------------------------------------------------------------------- /org.sat4j.csp/src/main/java/org/sat4j/csp/ICspPBSatSolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp/src/main/java/org/sat4j/csp/ICspPBSatSolver.java -------------------------------------------------------------------------------- /org.sat4j.csp/src/main/java/org/sat4j/csp/Predicate.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp/src/main/java/org/sat4j/csp/Predicate.java -------------------------------------------------------------------------------- /org.sat4j.csp/src/main/java/org/sat4j/csp/RangeDomain.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp/src/main/java/org/sat4j/csp/RangeDomain.java -------------------------------------------------------------------------------- /org.sat4j.csp/src/main/java/org/sat4j/csp/SingletonDomain.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp/src/main/java/org/sat4j/csp/SingletonDomain.java -------------------------------------------------------------------------------- /org.sat4j.csp/src/main/java/org/sat4j/csp/SolverFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp/src/main/java/org/sat4j/csp/SolverFactory.java -------------------------------------------------------------------------------- /org.sat4j.csp/src/main/java/org/sat4j/csp/Var.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp/src/main/java/org/sat4j/csp/Var.java -------------------------------------------------------------------------------- /org.sat4j.csp/src/main/java/org/sat4j/csp/constraints/AllDiff.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp/src/main/java/org/sat4j/csp/constraints/AllDiff.java -------------------------------------------------------------------------------- /org.sat4j.csp/src/main/java/org/sat4j/csp/constraints/Nogoods.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp/src/main/java/org/sat4j/csp/constraints/Nogoods.java -------------------------------------------------------------------------------- /org.sat4j.csp/src/main/java/org/sat4j/csp/constraints/Relation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp/src/main/java/org/sat4j/csp/constraints/Relation.java -------------------------------------------------------------------------------- /org.sat4j.csp/src/main/java/org/sat4j/csp/constraints/Supports.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp/src/main/java/org/sat4j/csp/constraints/Supports.java -------------------------------------------------------------------------------- /org.sat4j.csp/src/main/java/org/sat4j/csp/constraints/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp/src/main/java/org/sat4j/csp/constraints/package.html -------------------------------------------------------------------------------- /org.sat4j.csp/src/main/java/org/sat4j/csp/intension/EOperator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp/src/main/java/org/sat4j/csp/intension/EOperator.java -------------------------------------------------------------------------------- /org.sat4j.csp/src/main/java/org/sat4j/csp/intension/IExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp/src/main/java/org/sat4j/csp/intension/IExpression.java -------------------------------------------------------------------------------- /org.sat4j.csp/src/main/java/org/sat4j/csp/intension/Parser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp/src/main/java/org/sat4j/csp/intension/Parser.java -------------------------------------------------------------------------------- /org.sat4j.csp/src/main/java/org/sat4j/csp/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp/src/main/java/org/sat4j/csp/package.html -------------------------------------------------------------------------------- /org.sat4j.csp/src/main/java/org/sat4j/csp/predefinedfunctions.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp/src/main/java/org/sat4j/csp/predefinedfunctions.js -------------------------------------------------------------------------------- /org.sat4j.csp/src/main/java/org/sat4j/reader/CSPInstanceReader.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp/src/main/java/org/sat4j/reader/CSPInstanceReader.java -------------------------------------------------------------------------------- /org.sat4j.csp/src/main/java/org/sat4j/reader/CSPReader.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp/src/main/java/org/sat4j/reader/CSPReader.java -------------------------------------------------------------------------------- /org.sat4j.csp/src/main/java/org/sat4j/reader/CSPSupportReader.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp/src/main/java/org/sat4j/reader/CSPSupportReader.java -------------------------------------------------------------------------------- /org.sat4j.csp/src/main/java/org/sat4j/reader/ECSPFormat.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp/src/main/java/org/sat4j/reader/ECSPFormat.java -------------------------------------------------------------------------------- /org.sat4j.csp/src/main/java/org/sat4j/reader/XMLCSP3Reader.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp/src/main/java/org/sat4j/reader/XMLCSP3Reader.java -------------------------------------------------------------------------------- /org.sat4j.csp/src/main/java/org/sat4j/reader/XMLCSPReader.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.csp/src/main/java/org/sat4j/reader/XMLCSPReader.java -------------------------------------------------------------------------------- /org.sat4j.intervalorders/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.intervalorders/.classpath -------------------------------------------------------------------------------- /org.sat4j.intervalorders/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.intervalorders/.project -------------------------------------------------------------------------------- /org.sat4j.intervalorders/.settings/org.eclipse.jdt.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.intervalorders/.settings/org.eclipse.jdt.core.prefs -------------------------------------------------------------------------------- /org.sat4j.intervalorders/.settings/org.eclipse.jdt.ui.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.intervalorders/.settings/org.eclipse.jdt.ui.prefs -------------------------------------------------------------------------------- /org.sat4j.intervalorders/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.intervalorders/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /org.sat4j.intervalorders/contreexemple.ino: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.intervalorders/contreexemple.ino -------------------------------------------------------------------------------- /org.sat4j.intervalorders/random-interval-orders-10-10.opb: -------------------------------------------------------------------------------- 1 | org.sat4j.pb.OptToPBSATAdapter@d6a56e 2 | -------------------------------------------------------------------------------- /org.sat4j.intervalorders/random-interval-orders-6-100.sol1.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.intervalorders/random-interval-orders-6-100.sol1.dot -------------------------------------------------------------------------------- /org.sat4j.intervalorders/random-interval-orders-6-10000.sol1.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.intervalorders/random-interval-orders-6-10000.sol1.dot -------------------------------------------------------------------------------- /org.sat4j.intervalorders/test.ino: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.intervalorders/test.ino -------------------------------------------------------------------------------- /org.sat4j.maxsat/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.maxsat/.classpath -------------------------------------------------------------------------------- /org.sat4j.maxsat/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.maxsat/.project -------------------------------------------------------------------------------- /org.sat4j.maxsat/.settings/org.eclipse.core.resources.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.maxsat/.settings/org.eclipse.core.resources.prefs -------------------------------------------------------------------------------- /org.sat4j.maxsat/.settings/org.eclipse.jdt.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.maxsat/.settings/org.eclipse.jdt.core.prefs -------------------------------------------------------------------------------- /org.sat4j.maxsat/.settings/org.eclipse.jdt.ui.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.maxsat/.settings/org.eclipse.jdt.ui.prefs -------------------------------------------------------------------------------- /org.sat4j.maxsat/.settings/org.eclipse.m2e.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.maxsat/.settings/org.eclipse.m2e.core.prefs -------------------------------------------------------------------------------- /org.sat4j.maxsat/.settings/org.sonar.ide.eclipse.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.maxsat/.settings/org.sonar.ide.eclipse.core.prefs -------------------------------------------------------------------------------- /org.sat4j.maxsat/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.maxsat/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /org.sat4j.maxsat/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.maxsat/build.properties -------------------------------------------------------------------------------- /org.sat4j.maxsat/plugin.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.maxsat/plugin.properties -------------------------------------------------------------------------------- /org.sat4j.maxsat/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.maxsat/pom.xml -------------------------------------------------------------------------------- /org.sat4j.maxsat/src/main/java/org/sat4j/maxsat/SolverFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.maxsat/src/main/java/org/sat4j/maxsat/SolverFactory.java -------------------------------------------------------------------------------- /org.sat4j.maxsat/src/main/java/org/sat4j/maxsat/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.maxsat/src/main/java/org/sat4j/maxsat/package.html -------------------------------------------------------------------------------- /org.sat4j.maxsat/src/main/java/org/sat4j/maxsat/reader/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.maxsat/src/main/java/org/sat4j/maxsat/reader/package.html -------------------------------------------------------------------------------- /org.sat4j.maxsat/src/main/java/overview.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.maxsat/src/main/java/overview.html -------------------------------------------------------------------------------- /org.sat4j.maxsat/src/test/java/org/sat4j/maxsat/BugFatih2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.maxsat/src/test/java/org/sat4j/maxsat/BugFatih2.java -------------------------------------------------------------------------------- /org.sat4j.maxsat/src/test/java/org/sat4j/maxsat/BugSAT113.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.maxsat/src/test/java/org/sat4j/maxsat/BugSAT113.java -------------------------------------------------------------------------------- /org.sat4j.maxsat/src/test/java/org/sat4j/maxsat/BugSAT65.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.maxsat/src/test/java/org/sat4j/maxsat/BugSAT65.java -------------------------------------------------------------------------------- /org.sat4j.maxsat/src/test/java/org/sat4j/maxsat/BugSAT84.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.maxsat/src/test/java/org/sat4j/maxsat/BugSAT84.java -------------------------------------------------------------------------------- /org.sat4j.maxsat/src/test/java/org/sat4j/maxsat/MarcelBugsTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.maxsat/src/test/java/org/sat4j/maxsat/MarcelBugsTests.java -------------------------------------------------------------------------------- /org.sat4j.maxsat/src/test/java/org/sat4j/maxsat/MichalBug.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.maxsat/src/test/java/org/sat4j/maxsat/MichalBug.java -------------------------------------------------------------------------------- /org.sat4j.maxsat/src/test/java/org/sat4j/maxsat/TestDavid.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.maxsat/src/test/java/org/sat4j/maxsat/TestDavid.java -------------------------------------------------------------------------------- /org.sat4j.maxsat/src/test/java/org/sat4j/maxsat/TestSoftCard.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.maxsat/src/test/java/org/sat4j/maxsat/TestSoftCard.java -------------------------------------------------------------------------------- /org.sat4j.maxsat/src/test/testfiles/AnotherExample.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.maxsat/src/test/testfiles/AnotherExample.wcnf -------------------------------------------------------------------------------- /org.sat4j.maxsat/src/test/testfiles/Example.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.maxsat/src/test/testfiles/Example.wcnf -------------------------------------------------------------------------------- /org.sat4j.maxsat/src/test/testfiles/Inconsistent1.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.maxsat/src/test/testfiles/Inconsistent1.wcnf -------------------------------------------------------------------------------- /org.sat4j.maxsat/src/test/testfiles/Inconsistent2.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.maxsat/src/test/testfiles/Inconsistent2.wcnf -------------------------------------------------------------------------------- /org.sat4j.maxsat/src/test/testfiles/Inconsistent_Example.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.maxsat/src/test/testfiles/Inconsistent_Example.wcnf -------------------------------------------------------------------------------- /org.sat4j.maxsat/src/test/testfiles/encodingWCNF.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.maxsat/src/test/testfiles/encodingWCNF.wcnf -------------------------------------------------------------------------------- /org.sat4j.pb/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/.classpath -------------------------------------------------------------------------------- /org.sat4j.pb/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/.project -------------------------------------------------------------------------------- /org.sat4j.pb/.settings/org.eclipse.core.resources.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/.settings/org.eclipse.core.resources.prefs -------------------------------------------------------------------------------- /org.sat4j.pb/.settings/org.eclipse.jdt.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/.settings/org.eclipse.jdt.core.prefs -------------------------------------------------------------------------------- /org.sat4j.pb/.settings/org.eclipse.jdt.ui.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/.settings/org.eclipse.jdt.ui.prefs -------------------------------------------------------------------------------- /org.sat4j.pb/.settings/org.eclipse.m2e.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/.settings/org.eclipse.m2e.core.prefs -------------------------------------------------------------------------------- /org.sat4j.pb/.settings/org.sonar.ide.eclipse.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/.settings/org.sonar.ide.eclipse.core.prefs -------------------------------------------------------------------------------- /org.sat4j.pb/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/LICENSE.txt -------------------------------------------------------------------------------- /org.sat4j.pb/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /org.sat4j.pb/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/build.properties -------------------------------------------------------------------------------- /org.sat4j.pb/plugin.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/plugin.properties -------------------------------------------------------------------------------- /org.sat4j.pb/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/pom.xml -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/GroupPBSelectorSolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/GroupPBSelectorSolver.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/IGroupPBSolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/IGroupPBSolver.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/IIntegerPBSolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/IIntegerPBSolver.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/IPBSolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/IPBSolver.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/IPBSolverService.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/IPBSolverService.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/LPStringSolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/LPStringSolver.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/LanceurPseudo2005.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/LanceurPseudo2005.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/LanceurPseudo2007.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/LanceurPseudo2007.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/OPBStringSolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/OPBStringSolver.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/ObjectiveFunction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/ObjectiveFunction.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/OptToPBSATAdapter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/OptToPBSATAdapter.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/PBSolverDecorator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/PBSolverDecorator.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/PBSolverHandle.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/PBSolverHandle.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/PseudoIteratorDecorator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/PseudoIteratorDecorator.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/PseudoOptDecorator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/PseudoOptDecorator.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/SolverFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/SolverFactory.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/PBContainer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/PBContainer.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/IWatchPb.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/IWatchPb.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MapPb.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MapPb.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/PBConstr.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/PBConstr.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/Pseudos.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/Pseudos.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/core/IPBCDCLSolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/core/IPBCDCLSolver.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/core/IntegerVariable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/core/IntegerVariable.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/core/PBSolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/core/PBSolver.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/core/PBSolverCP.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/core/PBSolverCP.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/core/PBSolverCPLong.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/core/PBSolverCPLong.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/core/PBSolverCautious.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/core/PBSolverCautious.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/core/PBSolverClause.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/core/PBSolverClause.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/core/PBSolverResCP.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/core/PBSolverResCP.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/core/PBSolverResolution.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/core/PBSolverResolution.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/core/PBSolverStats.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/core/PBSolverStats.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/core/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/core/package-info.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/orders/IOrderObjective.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/orders/IOrderObjective.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/orders/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/orders/package-info.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/package-info.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/reader/JSONPBReader.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/JSONPBReader.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2005.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2005.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2006.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2006.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2007.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2007.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2010.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2010.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2012.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2012.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/reader/PBInstanceReader.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/PBInstanceReader.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/reader/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/package-info.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/tools/AtLeastCard.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/tools/AtLeastCard.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/tools/AtMostCard.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/tools/AtMostCard.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/tools/CardConstrFinder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/tools/CardConstrFinder.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/tools/DimacsToOpb.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/tools/DimacsToOpb.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/tools/DisjunctionRHS.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/tools/DisjunctionRHS.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/tools/INegator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/tools/INegator.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/tools/ImplicationAnd.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/tools/ImplicationAnd.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/tools/ImplicationRHS.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/tools/ImplicationRHS.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/tools/LexicoHelper.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/tools/LexicoHelper.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/tools/LeximinHelper.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/tools/LeximinHelper.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/tools/ManyCorePB.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/tools/ManyCorePB.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/tools/OpbToDimacs.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/tools/OpbToDimacs.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/tools/PBAdapter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/tools/PBAdapter.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/tools/StringNegator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/tools/StringNegator.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/tools/WeightedObject.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/tools/WeightedObject.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/tools/XplainPB.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/tools/XplainPB.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/org/sat4j/pb/tools/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/org/sat4j/pb/tools/package-info.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/java/overview.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/java/overview.html -------------------------------------------------------------------------------- /org.sat4j.pb/src/main/resources/about.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/main/resources/about.html -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/java/org/sat4j/pb/AbstractPBXplainTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/java/org/sat4j/pb/AbstractPBXplainTest.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/java/org/sat4j/pb/AllMusesPBTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/java/org/sat4j/pb/AllMusesPBTest.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/java/org/sat4j/pb/BugSAT107.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/java/org/sat4j/pb/BugSAT107.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/java/org/sat4j/pb/BugSAT117.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/java/org/sat4j/pb/BugSAT117.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/java/org/sat4j/pb/BugSAT130.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/java/org/sat4j/pb/BugSAT130.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/java/org/sat4j/pb/BugSAT138.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/java/org/sat4j/pb/BugSAT138.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/java/org/sat4j/pb/BugSAT16.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/java/org/sat4j/pb/BugSAT16.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/java/org/sat4j/pb/BugSAT21.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/java/org/sat4j/pb/BugSAT21.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/java/org/sat4j/pb/BugSAT22.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/java/org/sat4j/pb/BugSAT22.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/java/org/sat4j/pb/BugSAT32.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/java/org/sat4j/pb/BugSAT32.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/java/org/sat4j/pb/BugSAT34.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/java/org/sat4j/pb/BugSAT34.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/java/org/sat4j/pb/BugSAT35.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/java/org/sat4j/pb/BugSAT35.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/java/org/sat4j/pb/BugSAT61.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/java/org/sat4j/pb/BugSAT61.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/java/org/sat4j/pb/BugSAT66.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/java/org/sat4j/pb/BugSAT66.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/java/org/sat4j/pb/BugSat14.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/java/org/sat4j/pb/BugSat14.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/java/org/sat4j/pb/CardConstrFinderTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/java/org/sat4j/pb/CardConstrFinderTest.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/java/org/sat4j/pb/Conflict.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/java/org/sat4j/pb/Conflict.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/java/org/sat4j/pb/DepdendenyNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/java/org/sat4j/pb/DepdendenyNode.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/java/org/sat4j/pb/Explanation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/java/org/sat4j/pb/Explanation.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/java/org/sat4j/pb/GoodOPBReader.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/java/org/sat4j/pb/GoodOPBReader.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/java/org/sat4j/pb/JsonPBReaderTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/java/org/sat4j/pb/JsonPBReaderTest.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/java/org/sat4j/pb/MikolasTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/java/org/sat4j/pb/MikolasTest.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/java/org/sat4j/pb/PbmOPBStringSolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/java/org/sat4j/pb/PbmOPBStringSolver.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/java/org/sat4j/pb/TestDeletionXplain.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/java/org/sat4j/pb/TestDeletionXplain.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/java/org/sat4j/pb/TestDependencyHelper.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/java/org/sat4j/pb/TestDependencyHelper.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/java/org/sat4j/pb/TestEclipseBug247567.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/java/org/sat4j/pb/TestEclipseBug247567.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/java/org/sat4j/pb/TestEclipseBug275101.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/java/org/sat4j/pb/TestEclipseBug275101.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/java/org/sat4j/pb/TestInsertionXplain.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/java/org/sat4j/pb/TestInsertionXplain.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/java/org/sat4j/pb/TestLonca.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/java/org/sat4j/pb/TestLonca.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/java/org/sat4j/pb/TestQuickXplain.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/java/org/sat4j/pb/TestQuickXplain.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/java/org/sat4j/pb/XplainTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/java/org/sat4j/pb/XplainTests.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/java/org/sat4j/pb/constraints/AllTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/java/org/sat4j/pb/constraints/AllTests.java -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/10_10_4-5_0-5_100.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/10_10_4-5_0-5_100.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/10_10_4-5_0-95_100.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/10_10_4-5_0-95_100.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/10_10_4-5_0-95_98.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/10_10_4-5_0-95_98.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/10_20_4-5_0-5_100.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/10_20_4-5_0-5_100.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/10_20_4-5_0-95_100.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/10_20_4-5_0-95_100.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/10_20_4-5_0-95_98.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/10_20_4-5_0-95_98.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/30_30_4-5_0-5_100.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/30_30_4-5_0-5_100.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/30_30_4-5_0-95_100.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/30_30_4-5_0-95_100.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/30_30_4-5_0-95_98.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/30_30_4-5_0-95_98.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/30_70_4-5_0-5_100.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/30_70_4-5_0-5_100.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/30_70_4-5_0-95_100.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/30_70_4-5_0-95_100.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/30_70_4-5_0-95_98.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/30_70_4-5_0-95_98.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/air03.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/air03.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/air04.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/air04.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/air05.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/air05.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/bug-1.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/bug-1.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/bug-2.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/bug-2.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/bug-3.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/bug-3.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/bug247567.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/bug247567.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/bug275101.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/bug275101.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/cap6000.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/cap6000.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/enigma.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/enigma.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/fast0507.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/fast0507.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/harp2.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/harp2.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/l152lav.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/l152lav.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/lseu.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/lseu.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/misc03.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/misc03.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/misc07.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/misc07.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/mitre.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/mitre.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/mod0010.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/mod0010.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/mod0011.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/mod0011.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/mod008.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/mod008.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/modglob.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/modglob.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/p0033.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/p0033.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/p0201.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/p0201.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/p0282.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/p0282.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/p0548.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/p0548.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/p2756.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/p2756.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/pigeons/PN-10-9.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/pigeons/PN-10-9.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/pigeons/PN-2-3.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/pigeons/PN-2-3.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/pigeons/PN-3-2.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/pigeons/PN-3-2.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/pigeons/PN-3-4.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/pigeons/PN-3-4.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/pigeons/PN-4-3.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/pigeons/PN-4-3.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/pigeons/PN-4-5.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/pigeons/PN-4-5.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/pigeons/PN-5-4.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/pigeons/PN-5-4.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/pigeons/PN-5-6.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/pigeons/PN-5-6.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/pigeons/PN-6-5.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/pigeons/PN-6-5.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/pigeons/PN-6-7.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/pigeons/PN-6-7.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/pigeons/PN-7-6.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/pigeons/PN-7-6.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/pigeons/PN-7-8.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/pigeons/PN-7-8.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/pigeons/PN-8-7.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/pigeons/PN-8-7.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/pigeons/PN-8-9.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/pigeons/PN-8-9.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/pigeons/PN-9-10.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/pigeons/PN-9-10.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/pigeons/PN-9-8.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/pigeons/PN-9-8.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/random-opb/rnddeg1.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/random-opb/rnddeg1.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/random-opb/rnddeg10.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/random-opb/rnddeg10.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/random-opb/rnddeg11.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/random-opb/rnddeg11.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/random-opb/rnddeg12.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/random-opb/rnddeg12.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/random-opb/rnddeg13.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/random-opb/rnddeg13.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/random-opb/rnddeg14.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/random-opb/rnddeg14.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/random-opb/rnddeg15.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/random-opb/rnddeg15.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/random-opb/rnddeg16.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/random-opb/rnddeg16.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/random-opb/rnddeg17.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/random-opb/rnddeg17.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/random-opb/rnddeg18.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/random-opb/rnddeg18.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/random-opb/rnddeg2.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/random-opb/rnddeg2.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/random-opb/rnddeg3.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/random-opb/rnddeg3.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/random-opb/rnddeg4.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/random-opb/rnddeg4.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/random-opb/rnddeg5.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/random-opb/rnddeg5.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/random-opb/rnddeg6.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/random-opb/rnddeg6.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/random-opb/rnddeg7.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/random-opb/rnddeg7.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/random-opb/rnddeg8.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/random-opb/rnddeg8.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/random-opb/rnddeg9.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/random-opb/rnddeg9.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/seymour.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/seymour.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/stein27.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/stein27.opb -------------------------------------------------------------------------------- /org.sat4j.pb/src/test/testfiles/stein45.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.pb/src/test/testfiles/stein45.opb -------------------------------------------------------------------------------- /org.sat4j.sat/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.sat/.classpath -------------------------------------------------------------------------------- /org.sat4j.sat/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.sat/.project -------------------------------------------------------------------------------- /org.sat4j.sat/.settings/org.eclipse.core.resources.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.sat/.settings/org.eclipse.core.resources.prefs -------------------------------------------------------------------------------- /org.sat4j.sat/.settings/org.eclipse.jdt.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.sat/.settings/org.eclipse.jdt.core.prefs -------------------------------------------------------------------------------- /org.sat4j.sat/.settings/org.eclipse.jdt.ui.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.sat/.settings/org.eclipse.jdt.ui.prefs -------------------------------------------------------------------------------- /org.sat4j.sat/.settings/org.eclipse.m2e.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.sat/.settings/org.eclipse.m2e.core.prefs -------------------------------------------------------------------------------- /org.sat4j.sat/.settings/org.sonar.ide.eclipse.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.sat/.settings/org.sonar.ide.eclipse.core.prefs -------------------------------------------------------------------------------- /org.sat4j.sat/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.sat/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /org.sat4j.sat/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.sat/build.properties -------------------------------------------------------------------------------- /org.sat4j.sat/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.sat/pom.xml -------------------------------------------------------------------------------- /org.sat4j.sat/src/main/java/org/sat4j/sat/CommandComponent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.sat/src/main/java/org/sat4j/sat/CommandComponent.java -------------------------------------------------------------------------------- /org.sat4j.sat/src/main/java/org/sat4j/sat/Lanceur.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.sat/src/main/java/org/sat4j/sat/Lanceur.java -------------------------------------------------------------------------------- /org.sat4j.sat/src/main/java/org/sat4j/sat/Launcher.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.sat/src/main/java/org/sat4j/sat/Launcher.java -------------------------------------------------------------------------------- /org.sat4j.sat/src/main/java/org/sat4j/sat/ProblemType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.sat/src/main/java/org/sat4j/sat/ProblemType.java -------------------------------------------------------------------------------- /org.sat4j.sat/src/main/java/org/sat4j/sat/RTSI.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.sat/src/main/java/org/sat4j/sat/RTSI.java -------------------------------------------------------------------------------- /org.sat4j.sat/src/main/java/org/sat4j/sat/RemoteControlFrame.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.sat/src/main/java/org/sat4j/sat/RemoteControlFrame.java -------------------------------------------------------------------------------- /org.sat4j.sat/src/main/java/org/sat4j/sat/SolverController.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.sat/src/main/java/org/sat4j/sat/SolverController.java -------------------------------------------------------------------------------- /org.sat4j.sat/src/main/java/org/sat4j/sat/Solvers.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.sat/src/main/java/org/sat4j/sat/Solvers.java -------------------------------------------------------------------------------- /org.sat4j.sat/src/main/java/org/sat4j/sat/StartSolverEnum.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.sat/src/main/java/org/sat4j/sat/StartSolverEnum.java -------------------------------------------------------------------------------- /org.sat4j.sat/src/main/java/org/sat4j/sat/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.sat/src/main/java/org/sat4j/sat/package-info.java -------------------------------------------------------------------------------- /org.sat4j.sat/src/main/java/org/sat4j/sat/visu/MyChartPanel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.sat/src/main/java/org/sat4j/sat/visu/MyChartPanel.java -------------------------------------------------------------------------------- /org.sat4j.sat/src/main/java/org/sat4j/sat/visu/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.sat/src/main/java/org/sat4j/sat/visu/package-info.java -------------------------------------------------------------------------------- /org.sat4j.sat/src/main/java/overview.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.sat/src/main/java/overview.html -------------------------------------------------------------------------------- /org.sat4j.scala/.cache: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.scala/.cache -------------------------------------------------------------------------------- /org.sat4j.scala/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.scala/.classpath -------------------------------------------------------------------------------- /org.sat4j.scala/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.scala/.project -------------------------------------------------------------------------------- /org.sat4j.scala/.settings/org.eclipse.core.resources.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.scala/.settings/org.eclipse.core.resources.prefs -------------------------------------------------------------------------------- /org.sat4j.scala/.settings/org.eclipse.jdt.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.scala/.settings/org.eclipse.jdt.core.prefs -------------------------------------------------------------------------------- /org.sat4j.scala/.settings/org.eclipse.m2e.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.scala/.settings/org.eclipse.m2e.core.prefs -------------------------------------------------------------------------------- /org.sat4j.scala/.worksheet/bin/org/sat4j/scala/testLogic$.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.scala/.worksheet/bin/org/sat4j/scala/testLogic$.class -------------------------------------------------------------------------------- /org.sat4j.scala/.worksheet/bin/org/sat4j/scala/testLogic.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.scala/.worksheet/bin/org/sat4j/scala/testLogic.class -------------------------------------------------------------------------------- /org.sat4j.scala/.worksheet/src/logic.testLogic.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.scala/.worksheet/src/logic.testLogic.scala -------------------------------------------------------------------------------- /org.sat4j.scala/.worksheet/src/org.sat4j.scala.testLogic.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.scala/.worksheet/src/org.sat4j.scala.testLogic.scala -------------------------------------------------------------------------------- /org.sat4j.scala/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.scala/pom.xml -------------------------------------------------------------------------------- /org.sat4j.scala/src/main/scala/org/sat4j/scala/Adapter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.scala/src/main/scala/org/sat4j/scala/Adapter.scala -------------------------------------------------------------------------------- /org.sat4j.scala/src/main/scala/org/sat4j/scala/Flattener.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.scala/src/main/scala/org/sat4j/scala/Flattener.scala -------------------------------------------------------------------------------- /org.sat4j.scala/src/main/scala/org/sat4j/scala/Logic.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.scala/src/main/scala/org/sat4j/scala/Logic.scala -------------------------------------------------------------------------------- /org.sat4j.scala/src/main/scala/org/sat4j/scala/Main.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.scala/src/main/scala/org/sat4j/scala/Main.scala -------------------------------------------------------------------------------- /org.sat4j.scala/src/main/scala/org/sat4j/scala/testLogic.sc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.scala/src/main/scala/org/sat4j/scala/testLogic.sc -------------------------------------------------------------------------------- /org.sat4j.scala/src/test/scala/org/sat4j/scala/LogicTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.scala/src/test/scala/org/sat4j/scala/LogicTest.scala -------------------------------------------------------------------------------- /org.sat4j.scala/src/test/scala/samples/junit.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.scala/src/test/scala/samples/junit.scala -------------------------------------------------------------------------------- /org.sat4j.sudoku/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.sudoku/.classpath -------------------------------------------------------------------------------- /org.sat4j.sudoku/.cvsignore: -------------------------------------------------------------------------------- 1 | bin 2 | -------------------------------------------------------------------------------- /org.sat4j.sudoku/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.sudoku/.project -------------------------------------------------------------------------------- /org.sat4j.sudoku/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.sudoku/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /org.sat4j.sudoku/lib/jlfgr-1_0.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.sudoku/lib/jlfgr-1_0.jar -------------------------------------------------------------------------------- /org.sat4j.sudoku/reports/pmd-report.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.sudoku/reports/pmd-report.csv -------------------------------------------------------------------------------- /org.sat4j.sudoku/reports/pmd-report.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.sudoku/reports/pmd-report.html -------------------------------------------------------------------------------- /org.sat4j.sudoku/reports/pmd-report.txt: -------------------------------------------------------------------------------- 1 | No problems found! -------------------------------------------------------------------------------- /org.sat4j.sudoku/reports/pmd-report.vb.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.sudoku/reports/pmd-report.vb.html -------------------------------------------------------------------------------- /org.sat4j.sudoku/reports/pmd-report.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.sudoku/reports/pmd-report.xml -------------------------------------------------------------------------------- /org.sat4j.sudoku/src/main/java/org/sat4j/apps/sudoku/A4Paper.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.sudoku/src/main/java/org/sat4j/apps/sudoku/A4Paper.java -------------------------------------------------------------------------------- /org.sat4j.sudoku/src/main/java/org/sat4j/apps/sudoku/OneCell.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.sudoku/src/main/java/org/sat4j/apps/sudoku/OneCell.java -------------------------------------------------------------------------------- /org.sat4j.sudoku/src/main/java/org/sat4j/apps/sudoku/SDSize.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.sudoku/src/main/java/org/sat4j/apps/sudoku/SDSize.java -------------------------------------------------------------------------------- /org.sat4j.sudoku/src/main/java/org/sat4j/apps/sudoku/SuDoku.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.sudoku/src/main/java/org/sat4j/apps/sudoku/SuDoku.java -------------------------------------------------------------------------------- /org.sat4j.sudoku/src/main/resources/ObjectWeb.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.sudoku/src/main/resources/ObjectWeb.png -------------------------------------------------------------------------------- /org.sat4j.sudoku/src/main/resources/artois.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.sudoku/src/main/resources/artois.gif -------------------------------------------------------------------------------- /org.sat4j.sudoku/src/main/resources/cril.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.sudoku/src/main/resources/cril.png -------------------------------------------------------------------------------- /org.sat4j.sudoku/src/main/resources/ecit.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.sudoku/src/main/resources/ecit.gif -------------------------------------------------------------------------------- /org.sat4j.sudoku/src/main/resources/oeil.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.sudoku/src/main/resources/oeil.jpg -------------------------------------------------------------------------------- /org.sat4j.sudoku/src/main/resources/sat4j.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.sudoku/src/main/resources/sat4j.png -------------------------------------------------------------------------------- /org.sat4j.sudoku/src/main/resources/sat4jqrcode.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/org.sat4j.sudoku/src/main/resources/sat4jqrcode.png -------------------------------------------------------------------------------- /org.sat4j.sudoku/src/main/resources/sudoku.version: -------------------------------------------------------------------------------- 1 | 2.2 2 | -------------------------------------------------------------------------------- /pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/pom.xml -------------------------------------------------------------------------------- /repo/xcsp3/xcsp3/3.0/xcsp3-3.0.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/repo/xcsp3/xcsp3/3.0/xcsp3-3.0.jar -------------------------------------------------------------------------------- /repo/xcsp3/xcsp3/3.0/xcsp3-3.0.jar.md5: -------------------------------------------------------------------------------- 1 | 7d501d8289975d32852b6ee469a6ee81 -------------------------------------------------------------------------------- /repo/xcsp3/xcsp3/3.0/xcsp3-3.0.jar.sha1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/repo/xcsp3/xcsp3/3.0/xcsp3-3.0.jar.sha1 -------------------------------------------------------------------------------- /repo/xcsp3/xcsp3/3.0/xcsp3-3.0.pom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/repo/xcsp3/xcsp3/3.0/xcsp3-3.0.pom -------------------------------------------------------------------------------- /repo/xcsp3/xcsp3/3.0/xcsp3-3.0.pom.md5: -------------------------------------------------------------------------------- 1 | 7397caae08ea15b17c2355f9910e50da -------------------------------------------------------------------------------- /repo/xcsp3/xcsp3/3.0/xcsp3-3.0.pom.sha1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/repo/xcsp3/xcsp3/3.0/xcsp3-3.0.pom.sha1 -------------------------------------------------------------------------------- /repo/xcsp3/xcsp3/maven-metadata.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/repo/xcsp3/xcsp3/maven-metadata.xml -------------------------------------------------------------------------------- /repo/xcsp3/xcsp3/maven-metadata.xml.md5: -------------------------------------------------------------------------------- 1 | 3e36fd8104b9437ecbb2d9c476797427 -------------------------------------------------------------------------------- /repo/xcsp3/xcsp3/maven-metadata.xml.sha1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/repo/xcsp3/xcsp3/maven-metadata.xml.sha1 -------------------------------------------------------------------------------- /sat4j-live.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/sat4j-live.bash -------------------------------------------------------------------------------- /src/site/site.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/src/site/site.xml -------------------------------------------------------------------------------- /stylesheet.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/svn2github/SAT4J/HEAD/stylesheet.css --------------------------------------------------------------------------------