Files

• mergify.yml (yml)
• ISSUE_TEMPLATE (txt)
• feature_request.md (md)
• Dockerfile (txt)
• src (txt)
• CHANGES.md (md)
• test (txt)
• java (txt)
• binder (txt)
• org (txt)
• chocosolver (txt)
• examples (txt)
• Makefile (txt)
• paper (txt)
• paper.md (md)
• README.md (md)
• LICENSE (txt)
• examples (txt)
• docs (txt)
• Makefile (txt)
• source (txt)
• conf.py (py)
• src (txt)
• README.md (md)
• notebooks (txt)
• LICENSE (txt)
• SamplesTest.java (java)
• integer (txt)
• GolombRulerTest.java (java)
• CostasArraysTest.java (java)
• NQueenTest.java (java)
• main (txt)
• bash (txt)
• MagicSquareTest.java (java)
• KnapsackTest.java (java)
• PartitionTest.java (java)
• ParetoFront.java (java)
• set (txt)
• SetPartitionTest.java (java)
• release.sh (sh)
• java (txt)
• module-info.java (java)
• org (txt)
• chocosolver (txt)
• examples (txt)
• nqueen (txt)
• NQueenBinaryGlobal.java (java)
• NQueenGlobal.java (java)
• AbstractNQueen.java (java)
• Partition.java (java)
• NQueenDualBinary.java (java)
• NQueenBinary.java (java)
• NQueenDualGlobal.java (java)
• NQueenLinearBinary.java (java)
• real (txt)
• CycloHexan.java (java)
• SocialGolfer.java (java)
• SantaClaude.java (java)
• Grocery.java (java)
• SmallSantaClaude.java (java)
• HybridCycloHexan.java (java)
• AbstractProblem.java (java)
• integer (txt)
• MeetingScheduling.java (java)
• tutorial (txt)
• AircraftLanding.java (java)
• SMPTSP.java (java)
• AllIntervalSeries.java (java)
• Knapsack.java (java)
• Semafor.java (java)
• MarioKart.java (java)
• LatinSquare.java (java)
• BinPacking.java (java)
• CarSequencing.java (java)
• Langford.java (java)
• SchurLemma.java (java)
• Ordering.java (java)
• SendMoreMoney.java (java)
• StableMarriage.java (java)
• Zebra.java (java)
• MagicSquare.java (java)
• Grocery.java (java)
• MagicSequence.java (java)
• CostasArrays.java (java)
• AirPlaneLanding.java (java)
• CumulativeSample.java (java)
• takuzuR2.png (image)
• Sudoku.java (java)
• TSP.java (java)
• BACP.java (java)
• Takuzu.java (java)
• OrthoLatinSquare.java (java)
• BIBD.java (java)
• OpenStacks.java (java)
• GolombRuler.java (java)
• Nonogram.java (java)
• RLFAP.java (java)
• WarehouseLocation.java (java)
• set (txt)
• BugSetVar.java (java)
• SetPartition.java (java)
• SetUnion.java (java)
• GolombRuler.java (java)
• .github (github)
• workflows (txt)
• maven-test.yml (yml)
• publish-snapshot.yml (yml)
• draft-pdf.yml (yml)
• codeql-analysis.yml (yml)
• docker-image.yml (yml)
• dependabot.yml (yml)
• bug_report.md (md)
• PULL_REQUEST_TEMPLATE (txt)
• pull_request_template.md (md)
• scripts (txt)
• RELEASE.md (md)
• generate_changelog.sh (sh)
• release.sh (sh)
• commons.sh (sh)
• PreProcessingTest.java (java)
• set_version.sh (sh)
• install-ibex.sh (sh)
• CONTRIBUTING.md (md)
• solver (txt)
• codecov.yml (yml)
• src (txt)
• test (txt)
• java (txt)
• org (txt)
• chocosolver (txt)
• sat (txt)
• SatTest.java (java)
• IReasonManagerTest.java (java)
• SatSolverTest.java (java)
• ArrayUtilsTest.java (java)
• MathUtilsTest.java (java)
• SatDecoratoTest.java (java)
• util (txt)
• MDDTest.java (java)
• bandit (txt)
• PolicyTest.java (java)
• CustomListener.java (java)
• ProblemMaker.java (java)
• tools (txt)
• RealUtilsTest.java (java)
• VariableUtilsTest.java (java)
• objects (txt)
• setDataStructures (txt)
• nonbacktrackable (txt)
• IntervalSetTest.java (java)
• SetDynamicFilterTest.java (java)
• BitSetTest.java (java)
• SetTest.java (java)
• ConstantSetTest.java (java)
• BipartiteSetTest.java (java)
• SetDifferenceTest.java (java)
• SetIntersectionTest.java (java)
• SmallBipartiteTest.java (java)
• RangeSetTest.java (java)
• SortedBitSetTest.java (java)
• SetUnionTest.java (java)
• LinkedListTest.java (java)
• iterable (txt)
• IntIterableRangeSetTest.java (java)
• IntIterableBitSetTest.java (java)
• backtrackable (txt)
• StoredIntLinkedListTest.java (java)
• BitSetTest.java (java)
• BipartiteSetTest.java (java)
• SmallBipartiteTest.java (java)
• LinkedListTest.java (java)
• BacktrackableSetTest.java (java)
• ConstantSetsTest.java (java)
• graphs (txt)
• UndirectedGraphTest.java (java)
• DirectedGraphTest.java (java)
• queues (txt)
• explanation (txt)
• TestExplanation.java (java)
• Modeler.java (java)
• correctness (txt)
• CircularQueueTest.java (java)
• ESatTest.java (java)
• cutoffseq (txt)
• RestartTest.java (java)
• lp (txt)
• MILPTest.java (java)
• TwoPhaseSimplex.java (java)
• LinearProgramTest.java (java)
• memory (txt)
• TestCorrectness.java (java)
• CorrectnessChecker.java (java)
• BasicIndexBipartiteSetTest.java (java)
• DynamicAdditionTest.java (java)
• structure (txt)
• SparseBitSetTest.java (java)
• EnvironmentTest.java (java)
• PopTest.java (java)
• solver (txt)
• lcg (txt)
• LitVarTests.java (java)
• LCGTest.java (java)
• expression (txt)
• continuous (txt)
• IbexTest.java (java)
• relational (txt)
• PropEquationTest.java (java)
• IATest.java (java)
• ExpressionTest.java (java)
• discrete (txt)
• ExpressionTest.java (java)
• search (txt)
• ParetoTest.java (java)
• strategy (txt)
• strategy (txt)
• RandomVarSelectorTest.java (java)
• FindAndProveTest.java (java)
• ConflictOrderingSearchTest.java (java)
• WarmStartTest.java (java)
• BranchingTest.java (java)
• selectors (txt)
• values (txt)
• IntDomainClosestTest.java (java)
• IntDomainMiddleTest.java (java)
• IntDomainMedianTest.java (java)
• decision (txt)
• DecisionMakerTest.java (java)
• DecisionPathTest.java (java)
• restart (txt)
• NoGoodOnSolutionTest.java (java)
• RestartTest.java (java)
• loop (txt)
• monitors (txt)
• CPProfilerTest.java (java)
• RealBase.java (java)
• GephiNetworkTest.java (java)
• LNSTest.java (java)
• SolverTest.java (java)
• ObjectiveTest.java (java)
• TestMultiSequentialObjectives.java (java)
• StrategyTest.java (java)
• BlackBoxTest.java (java)
• MeasuresTest.java (java)
• RealTest.java (java)
• Providers.java (java)
• constraints (txt)
• ConstraintTest.java (java)
• SetIntUnion.java (java)
• checker (txt)
• DomainBuilder.java (java)
• fmk (txt)
• SetTestModel.java (java)
• Test_Bools_Sets.java (java)
• Correctness.java (java)
• Domain.java (java)
• QuickXPlainTest.java (java)
• consistency (txt)
• TestConsistencyFactory.java (java)
• TestConsistency.java (java)
• ConsistencyChecker.java (java)
• real (txt)
• RealNegativePowerTest.java (java)
• RealExponentTest.java (java)
• RealCubicTest.java (java)
• RestTrigTest.java (java)
• RealSquareTest.java (java)
• IReificationFactoryTest.java (java)
• unary (txt)
• MemberTest.java (java)
• ModXTest.java (java)
• NotMemberTest.java (java)
• LogicTreeTest.java (java)
• ternary (txt)
• AbstractTernaryTest.java (java)
• MaxTest.java (java)
• TimesTest.java (java)
• DistanceEQTest.java (java)
• DistanceGTTest.java (java)
• ModXYZTest.java (java)
• MinTest.java (java)
• DistanceLTTest.java (java)
• DistanceLETest.java (java)
• DistanceGETest.java (java)
• DivTest.java (java)
• binary (txt)
• PowTest.java (java)
• DistanceEQTest.java (java)
• ElementTest.java (java)
• DistanceGTTest.java (java)
• AbstractBinaryTest.java (java)
• SymmetricTest.java (java)
• BinTableTest.java (java)
• DistanceLTTest.java (java)
• SquareTest.java (java)
• EqTest.java (java)
• NotEqualX_YCTest.java (java)
• ModXYTest.java (java)
• DistanceNQTest.java (java)
• nodes (txt)
• DistanceTest.java (java)
• DynamicPostTest.java (java)
• graph (txt)
• connectivity (txt)
• SizeMaxCCTest.java (java)
• ConnectedTest.java (java)
• NbStronglyConnectedComponentsTest.java (java)
• ReifiedConnectivityTest.java (java)
• SizeMinCCTest.java (java)
• NbConnectedComponentsTest.java (java)
• BiconnectedTest.java (java)
• degree (txt)
• InDegreesTest.java (java)
• DegreesTest.java (java)
• OutDegreesTest.java (java)
• cycles (txt)
• FingerTreeTest.java (java)
• CycleTest.java (java)
• AcyclicTest.java (java)
• inclusion (txt)
• SubgraphTest.java (java)
• basic (txt)
• DiameterTest.java (java)
• NbNodesTest.java (java)
• NbCliquesTest.java (java)
• LexChainTest.java (java)
• LoopSetTest.java (java)
• AntiSymmetricTest.java (java)
• NbEdgesTest.java (java)
• TransitivityTest.java (java)
• ClauseChannelingTest.java (java)
• NbLoopsTest.java (java)
• symmbreaking (txt)
• SymmetryBreakingDirectedTest.java (java)
• SymmetryBreaking2Test.java (java)
• SymmetryBreakingTest.java (java)
• SymmetryBreaking3Test.java (java)
• tree (txt)
• ReachabilityTest.java (java)
• ForestTest.java (java)
• TreeTest.java (java)
• DirectedTreeForestTest.java (java)
• cost (txt)
• trees (txt)
• DcmtsTest.java (java)
• DCMST.java (java)
• hcp (txt)
• KnightTourProblem.java (java)
• HCP_Utils.java (java)
• HamiltonianCycleProblemTest.java (java)
• tsp (txt)
• TSP_Utils.java (java)
• TSP_lns.java (java)
• TSP_exact.java (java)
• TspTest.java (java)
• channeling (txt)
• edges (txt)
• NeighborsChannelingTest.java (java)
• SuccessorsChannelingTest.java (java)
• EdgeChannelingTest.java (java)
• PredecessorsChannelingTest.java (java)
• NodesChannelingTest.java (java)
• nary (txt)
• CryptoTest.java (java)
• SortTest.java (java)
• BoolsIntChannelingTest.java (java)
• RegularTest.java (java)
• sat (txt)
• PropSatTest.java (java)
• DiffNTest.java (java)
• knapsack (txt)
• structure (txt)
• MultiCostRegularTest.java (java)
• CircuitTest.java (java)
• SubcircuitTest.java (java)
• CumulativeTest.java (java)
• InverseChannelingTest.java (java)
• SumTest.java (java)
• SatTest.java (java)
• ScalarTest.java (java)
• BinPackingTest.java (java)
• CostRegularTest.java (java)
• MinMaxTest.java (java)
• TestData.java (java)
• BottleneckTest.java (java)
• sum (txt)
• IntLinCombTest.java (java)
• IntValuePrecedeChainTest.java (java)
• lex (txt)
• PropIncreasingTest.java (java)
• CNFTest.java (java)
• MixedScalarTest.java (java)
• KnapsackTest.java (java)
• BitsIntChannelingTest.java (java)
• AmongTest.java (java)
• TableTest.java (java)
• NetworkflowTest.java (java)
• NogoodTest.java (java)
• AllDifferentTest.java (java)
• KeysortingTest.java (java)
• NValueTest.java (java)
• ATTRIBUTION.md (markdown)