├── LICENSE ├── README.md ├── doc ├── JvCSP3v1-1.pdf ├── checkerJava1-1.pdf ├── parserJava1-2.pdf └── parserJava1-2.tex ├── instancesTest ├── AllInterval-005.xml.lzma ├── Allergy.xml.lzma ├── Bibd-sc-06-050-25-03-10.xml.lzma ├── Bibd-sum-06-050-25-03-10.xml.lzma ├── BinPacking-mdd-n1c1w4a.xml.lzma ├── BinPacking-sum-n1c1w4a.xml.lzma ├── BinPacking-tab-n1c1w4a.xml.lzma ├── Blackhole-04-3-00.xml.lzma ├── BusScheduling-cnt-t1.xml.lzma ├── CarSequencing-dingbas.xml.lzma ├── ChessboardColoration-07-07.xml.lzma ├── ColouredQueens-07.xml.lzma ├── CostasArray-12.xml.lzma ├── Crossword-lex-vg-5-6.xml.lzma ├── CryptoPuzzle-cross-roads-danger.xml.lzma ├── Cutstock-small.xml.lzma ├── DistinctVectors-30-050-02.xml.lzma ├── Domino-300-300.xml.lzma ├── Fastfood-ff10.xml.lzma ├── GolombRuler-09-a3.xml.lzma ├── GolombRuler-09-a4.xml.lzma ├── GracefulGraph-K02-P04.xml.lzma ├── GraphColoring-3-fullins-4.xml.lzma ├── GraphColoring-qwhdec-o5-h10-1.xml.lzma ├── Hanoi-05.xml.lzma ├── Kakuro-easy-000-ext.xml.lzma ├── Kakuro-easy-000-sumdiff.xml.lzma ├── Knapsack-30-100-00.xml.lzma ├── KnightTour-06-ext03.xml.lzma ├── KnightTour-06-int.xml.lzma ├── Langford-3-10.xml.lzma ├── LangfordBin-08.xml.lzma ├── LowAutocorrelation-015.xml.lzma ├── MagicSequence-008-ca.xml.lzma ├── MagicSequence-008-co.xml.lzma ├── MagicSquare-4-table.xml.lzma ├── MagicSquare-6-mdd.xml.lzma ├── MagicSquare-6-sum.xml.lzma ├── MagicSquare-9-f10-01.xml.lzma ├── Mario-easy-4.xml.lzma ├── MarketSplit-01.xml.lzma ├── MultiKnapsack-1-01.xml.lzma ├── MultiKnapsack-1-0_X2.xml.lzma ├── Nonogram-001-regular.xml.lzma ├── Nonogram-001-table.xml.lzma ├── Opd-07-007-003.xml.lzma ├── Ortholatin-005.xml.lzma ├── Pb-gr-05.xml.lzma ├── Pb-robin08.xml.lzma ├── Primes-15-20-2-1.xml.lzma ├── PrizeCollecting-15-3-5-0.xml.lzma ├── QuadraticAssignment-bur26a.xml.lzma ├── QuadraticAssignment-qap.xml.lzma ├── QuasiGroup-3-04.xml.lzma ├── QuasiGroup-7-09.xml.lzma ├── QueenAttacking-06.xml.lzma ├── Queens-0008-m1.xml.lzma ├── RadarSurveillance-8-24-3-2-00.xml.lzma ├── Ramsey-12.xml.lzma ├── RoomMate-sr0050-int.xml.lzma ├── Sat-flat200-00-clause.xml.lzma ├── SocialGolfers-4-3-4-cp.xml.lzma ├── SportsScheduling-08.xml.lzma ├── Steiner3-08.xml.lzma ├── StillLife-03-06.xml.lzma ├── StillLife-wastage-03.xml.lzma ├── StripPacking-C1P1.xml.lzma ├── Subisomorphism-A-10.xml.lzma ├── Sudoku-s01a-alldiff.xml.lzma ├── Taillard-js-015-15-0.xml.lzma ├── Taillard-os-04-04-0.xml.lzma ├── Tpp-3-3-20-1.xml.lzma ├── TravellingSalesman-20-30-00.xml.lzma ├── Vrp-A-n32-k5.xml.lzma ├── Vrp-P-n16-k8.xml.lzma ├── Warehouse-opl.xml.lzma ├── Zebra.xml.lzma ├── driverlogw-09.xml.lzma ├── qcp-15-120-00_X2.xml.lzma ├── qwh-o30-h374-01.xml.lzma ├── testExtension1.xml.lzma ├── testExtension2.xml.lzma ├── testExtension3.xml.lzma ├── testObjective1.xml.lzma └── testPrimitive.xml.lzma ├── pom.xml └── src ├── main └── java │ └── org │ └── xcsp │ ├── common │ ├── Condition.java │ ├── Constants.java │ ├── FunctionalInterfaces.java │ ├── IVar.java │ ├── Range.java │ ├── Size.java │ ├── Softening.java │ ├── Types.java │ ├── Utilities.java │ ├── domains │ │ ├── Domains.java │ │ └── Values.java │ ├── enumerations │ │ ├── EnumerationAbstract.java │ │ ├── EnumerationCartesian.java │ │ ├── EnumerationOfCombinations.java │ │ └── EnumerationOfPermutations.java │ ├── predicates │ │ ├── MatcherInterface.java │ │ ├── TreeEvaluator.java │ │ ├── XNode.java │ │ ├── XNodeLeaf.java │ │ ├── XNodeParent.java │ │ └── XNodeParentSpecial.java │ └── structures │ │ ├── AbstractTuple.java │ │ ├── Automaton.java │ │ ├── Table.java │ │ ├── TableAbstract.java │ │ ├── TableSymbolic.java │ │ ├── Transition.java │ │ └── Transitions.java │ ├── modeler │ ├── Compiler.java │ ├── api │ │ ├── ProblemAPI.java │ │ ├── ProblemAPIBase.java │ │ ├── ProblemAPIOnVals.java │ │ ├── ProblemAPIOnVars.java │ │ └── ProblemAPISymbolic.java │ ├── definitions │ │ ├── DefXCSP.java │ │ ├── ICtr.java │ │ ├── IObj.java │ │ └── IRootForCtrAndObj.java │ ├── entities │ │ ├── CtrEntities.java │ │ ├── ModelingEntity.java │ │ ├── ObjEntities.java │ │ └── VarEntities.java │ ├── implementation │ │ ├── NotData.java │ │ ├── ProblemDataHandler.java │ │ ├── ProblemIMP.java │ │ └── ProblemIMP3.java │ └── problems │ │ ├── AllInterval.java │ │ ├── Bibd.java │ │ ├── Blackhole.java │ │ ├── BoardColoration.java │ │ ├── MagicSequence.java │ │ ├── Pic.java │ │ ├── Pic2.java │ │ ├── Queens.java │ │ ├── Rack.java │ │ ├── Rack2.java │ │ ├── Riddle.java │ │ ├── Riddle2.java │ │ ├── Riddle3.java │ │ ├── Riddle4.java │ │ ├── Riddle4b.java │ │ ├── Riddle5.java │ │ ├── Sudoku.java │ │ ├── Warehouse.java │ │ └── Zebra.java │ └── parser │ ├── WrongTypeException.java │ ├── XParser.java │ ├── callbacks │ ├── CompetitionValidator.java │ ├── FeatureDisplayer.java │ ├── SolutionChecker.java │ ├── XCallbacks.java │ └── XCallbacks2.java │ ├── entries │ ├── ParsingEntry.java │ ├── XConstraints.java │ ├── XObjectives.java │ └── XVariables.java │ └── loaders │ ├── ConstraintRecognizer.java │ ├── CtrLoaderInteger.java │ └── CtrLoaderSymbolic.java └── test └── java └── TestSolutions.java /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/README.md -------------------------------------------------------------------------------- /doc/JvCSP3v1-1.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/doc/JvCSP3v1-1.pdf -------------------------------------------------------------------------------- /doc/checkerJava1-1.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/doc/checkerJava1-1.pdf -------------------------------------------------------------------------------- /doc/parserJava1-2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/doc/parserJava1-2.pdf -------------------------------------------------------------------------------- /doc/parserJava1-2.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/doc/parserJava1-2.tex -------------------------------------------------------------------------------- /instancesTest/AllInterval-005.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/AllInterval-005.xml.lzma -------------------------------------------------------------------------------- /instancesTest/Allergy.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/Allergy.xml.lzma -------------------------------------------------------------------------------- /instancesTest/Bibd-sc-06-050-25-03-10.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/Bibd-sc-06-050-25-03-10.xml.lzma -------------------------------------------------------------------------------- /instancesTest/Bibd-sum-06-050-25-03-10.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/Bibd-sum-06-050-25-03-10.xml.lzma -------------------------------------------------------------------------------- /instancesTest/BinPacking-mdd-n1c1w4a.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/BinPacking-mdd-n1c1w4a.xml.lzma -------------------------------------------------------------------------------- /instancesTest/BinPacking-sum-n1c1w4a.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/BinPacking-sum-n1c1w4a.xml.lzma -------------------------------------------------------------------------------- /instancesTest/BinPacking-tab-n1c1w4a.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/BinPacking-tab-n1c1w4a.xml.lzma -------------------------------------------------------------------------------- /instancesTest/Blackhole-04-3-00.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/Blackhole-04-3-00.xml.lzma -------------------------------------------------------------------------------- /instancesTest/BusScheduling-cnt-t1.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/BusScheduling-cnt-t1.xml.lzma -------------------------------------------------------------------------------- /instancesTest/CarSequencing-dingbas.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/CarSequencing-dingbas.xml.lzma -------------------------------------------------------------------------------- /instancesTest/ChessboardColoration-07-07.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/ChessboardColoration-07-07.xml.lzma -------------------------------------------------------------------------------- /instancesTest/ColouredQueens-07.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/ColouredQueens-07.xml.lzma -------------------------------------------------------------------------------- /instancesTest/CostasArray-12.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/CostasArray-12.xml.lzma -------------------------------------------------------------------------------- /instancesTest/Crossword-lex-vg-5-6.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/Crossword-lex-vg-5-6.xml.lzma -------------------------------------------------------------------------------- /instancesTest/CryptoPuzzle-cross-roads-danger.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/CryptoPuzzle-cross-roads-danger.xml.lzma -------------------------------------------------------------------------------- /instancesTest/Cutstock-small.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/Cutstock-small.xml.lzma -------------------------------------------------------------------------------- /instancesTest/DistinctVectors-30-050-02.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/DistinctVectors-30-050-02.xml.lzma -------------------------------------------------------------------------------- /instancesTest/Domino-300-300.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/Domino-300-300.xml.lzma -------------------------------------------------------------------------------- /instancesTest/Fastfood-ff10.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/Fastfood-ff10.xml.lzma -------------------------------------------------------------------------------- /instancesTest/GolombRuler-09-a3.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/GolombRuler-09-a3.xml.lzma -------------------------------------------------------------------------------- /instancesTest/GolombRuler-09-a4.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/GolombRuler-09-a4.xml.lzma -------------------------------------------------------------------------------- /instancesTest/GracefulGraph-K02-P04.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/GracefulGraph-K02-P04.xml.lzma -------------------------------------------------------------------------------- /instancesTest/GraphColoring-3-fullins-4.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/GraphColoring-3-fullins-4.xml.lzma -------------------------------------------------------------------------------- /instancesTest/GraphColoring-qwhdec-o5-h10-1.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/GraphColoring-qwhdec-o5-h10-1.xml.lzma -------------------------------------------------------------------------------- /instancesTest/Hanoi-05.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/Hanoi-05.xml.lzma -------------------------------------------------------------------------------- /instancesTest/Kakuro-easy-000-ext.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/Kakuro-easy-000-ext.xml.lzma -------------------------------------------------------------------------------- /instancesTest/Kakuro-easy-000-sumdiff.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/Kakuro-easy-000-sumdiff.xml.lzma -------------------------------------------------------------------------------- /instancesTest/Knapsack-30-100-00.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/Knapsack-30-100-00.xml.lzma -------------------------------------------------------------------------------- /instancesTest/KnightTour-06-ext03.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/KnightTour-06-ext03.xml.lzma -------------------------------------------------------------------------------- /instancesTest/KnightTour-06-int.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/KnightTour-06-int.xml.lzma -------------------------------------------------------------------------------- /instancesTest/Langford-3-10.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/Langford-3-10.xml.lzma -------------------------------------------------------------------------------- /instancesTest/LangfordBin-08.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/LangfordBin-08.xml.lzma -------------------------------------------------------------------------------- /instancesTest/LowAutocorrelation-015.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/LowAutocorrelation-015.xml.lzma -------------------------------------------------------------------------------- /instancesTest/MagicSequence-008-ca.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/MagicSequence-008-ca.xml.lzma -------------------------------------------------------------------------------- /instancesTest/MagicSequence-008-co.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/MagicSequence-008-co.xml.lzma -------------------------------------------------------------------------------- /instancesTest/MagicSquare-4-table.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/MagicSquare-4-table.xml.lzma -------------------------------------------------------------------------------- /instancesTest/MagicSquare-6-mdd.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/MagicSquare-6-mdd.xml.lzma -------------------------------------------------------------------------------- /instancesTest/MagicSquare-6-sum.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/MagicSquare-6-sum.xml.lzma -------------------------------------------------------------------------------- /instancesTest/MagicSquare-9-f10-01.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/MagicSquare-9-f10-01.xml.lzma -------------------------------------------------------------------------------- /instancesTest/Mario-easy-4.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/Mario-easy-4.xml.lzma -------------------------------------------------------------------------------- /instancesTest/MarketSplit-01.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/MarketSplit-01.xml.lzma -------------------------------------------------------------------------------- /instancesTest/MultiKnapsack-1-01.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/MultiKnapsack-1-01.xml.lzma -------------------------------------------------------------------------------- /instancesTest/MultiKnapsack-1-0_X2.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/MultiKnapsack-1-0_X2.xml.lzma -------------------------------------------------------------------------------- /instancesTest/Nonogram-001-regular.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/Nonogram-001-regular.xml.lzma -------------------------------------------------------------------------------- /instancesTest/Nonogram-001-table.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/Nonogram-001-table.xml.lzma -------------------------------------------------------------------------------- /instancesTest/Opd-07-007-003.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/Opd-07-007-003.xml.lzma -------------------------------------------------------------------------------- /instancesTest/Ortholatin-005.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/Ortholatin-005.xml.lzma -------------------------------------------------------------------------------- /instancesTest/Pb-gr-05.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/Pb-gr-05.xml.lzma -------------------------------------------------------------------------------- /instancesTest/Pb-robin08.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/Pb-robin08.xml.lzma -------------------------------------------------------------------------------- /instancesTest/Primes-15-20-2-1.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/Primes-15-20-2-1.xml.lzma -------------------------------------------------------------------------------- /instancesTest/PrizeCollecting-15-3-5-0.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/PrizeCollecting-15-3-5-0.xml.lzma -------------------------------------------------------------------------------- /instancesTest/QuadraticAssignment-bur26a.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/QuadraticAssignment-bur26a.xml.lzma -------------------------------------------------------------------------------- /instancesTest/QuadraticAssignment-qap.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/QuadraticAssignment-qap.xml.lzma -------------------------------------------------------------------------------- /instancesTest/QuasiGroup-3-04.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/QuasiGroup-3-04.xml.lzma -------------------------------------------------------------------------------- /instancesTest/QuasiGroup-7-09.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/QuasiGroup-7-09.xml.lzma -------------------------------------------------------------------------------- /instancesTest/QueenAttacking-06.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/QueenAttacking-06.xml.lzma -------------------------------------------------------------------------------- /instancesTest/Queens-0008-m1.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/Queens-0008-m1.xml.lzma -------------------------------------------------------------------------------- /instancesTest/RadarSurveillance-8-24-3-2-00.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/RadarSurveillance-8-24-3-2-00.xml.lzma -------------------------------------------------------------------------------- /instancesTest/Ramsey-12.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/Ramsey-12.xml.lzma -------------------------------------------------------------------------------- /instancesTest/RoomMate-sr0050-int.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/RoomMate-sr0050-int.xml.lzma -------------------------------------------------------------------------------- /instancesTest/Sat-flat200-00-clause.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/Sat-flat200-00-clause.xml.lzma -------------------------------------------------------------------------------- /instancesTest/SocialGolfers-4-3-4-cp.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/SocialGolfers-4-3-4-cp.xml.lzma -------------------------------------------------------------------------------- /instancesTest/SportsScheduling-08.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/SportsScheduling-08.xml.lzma -------------------------------------------------------------------------------- /instancesTest/Steiner3-08.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/Steiner3-08.xml.lzma -------------------------------------------------------------------------------- /instancesTest/StillLife-03-06.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/StillLife-03-06.xml.lzma -------------------------------------------------------------------------------- /instancesTest/StillLife-wastage-03.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/StillLife-wastage-03.xml.lzma -------------------------------------------------------------------------------- /instancesTest/StripPacking-C1P1.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/StripPacking-C1P1.xml.lzma -------------------------------------------------------------------------------- /instancesTest/Subisomorphism-A-10.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/Subisomorphism-A-10.xml.lzma -------------------------------------------------------------------------------- /instancesTest/Sudoku-s01a-alldiff.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/Sudoku-s01a-alldiff.xml.lzma -------------------------------------------------------------------------------- /instancesTest/Taillard-js-015-15-0.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/Taillard-js-015-15-0.xml.lzma -------------------------------------------------------------------------------- /instancesTest/Taillard-os-04-04-0.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/Taillard-os-04-04-0.xml.lzma -------------------------------------------------------------------------------- /instancesTest/Tpp-3-3-20-1.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/Tpp-3-3-20-1.xml.lzma -------------------------------------------------------------------------------- /instancesTest/TravellingSalesman-20-30-00.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/TravellingSalesman-20-30-00.xml.lzma -------------------------------------------------------------------------------- /instancesTest/Vrp-A-n32-k5.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/Vrp-A-n32-k5.xml.lzma -------------------------------------------------------------------------------- /instancesTest/Vrp-P-n16-k8.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/Vrp-P-n16-k8.xml.lzma -------------------------------------------------------------------------------- /instancesTest/Warehouse-opl.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/Warehouse-opl.xml.lzma -------------------------------------------------------------------------------- /instancesTest/Zebra.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/Zebra.xml.lzma -------------------------------------------------------------------------------- /instancesTest/driverlogw-09.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/driverlogw-09.xml.lzma -------------------------------------------------------------------------------- /instancesTest/qcp-15-120-00_X2.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/qcp-15-120-00_X2.xml.lzma -------------------------------------------------------------------------------- /instancesTest/qwh-o30-h374-01.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/qwh-o30-h374-01.xml.lzma -------------------------------------------------------------------------------- /instancesTest/testExtension1.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/testExtension1.xml.lzma -------------------------------------------------------------------------------- /instancesTest/testExtension2.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/testExtension2.xml.lzma -------------------------------------------------------------------------------- /instancesTest/testExtension3.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/testExtension3.xml.lzma -------------------------------------------------------------------------------- /instancesTest/testObjective1.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/testObjective1.xml.lzma -------------------------------------------------------------------------------- /instancesTest/testPrimitive.xml.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/instancesTest/testPrimitive.xml.lzma -------------------------------------------------------------------------------- /pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/pom.xml -------------------------------------------------------------------------------- /src/main/java/org/xcsp/common/Condition.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/common/Condition.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/common/Constants.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/common/Constants.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/common/FunctionalInterfaces.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/common/FunctionalInterfaces.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/common/IVar.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/common/IVar.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/common/Range.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/common/Range.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/common/Size.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/common/Size.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/common/Softening.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/common/Softening.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/common/Types.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/common/Types.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/common/Utilities.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/common/Utilities.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/common/domains/Domains.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/common/domains/Domains.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/common/domains/Values.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/common/domains/Values.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/common/enumerations/EnumerationAbstract.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/common/enumerations/EnumerationAbstract.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/common/enumerations/EnumerationCartesian.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/common/enumerations/EnumerationCartesian.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/common/enumerations/EnumerationOfCombinations.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/common/enumerations/EnumerationOfCombinations.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/common/enumerations/EnumerationOfPermutations.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/common/enumerations/EnumerationOfPermutations.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/common/predicates/MatcherInterface.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/common/predicates/MatcherInterface.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/common/predicates/TreeEvaluator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/common/predicates/TreeEvaluator.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/common/predicates/XNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/common/predicates/XNode.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/common/predicates/XNodeLeaf.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/common/predicates/XNodeLeaf.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/common/predicates/XNodeParent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/common/predicates/XNodeParent.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/common/predicates/XNodeParentSpecial.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/common/predicates/XNodeParentSpecial.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/common/structures/AbstractTuple.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/common/structures/AbstractTuple.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/common/structures/Automaton.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/common/structures/Automaton.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/common/structures/Table.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/common/structures/Table.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/common/structures/TableAbstract.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/common/structures/TableAbstract.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/common/structures/TableSymbolic.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/common/structures/TableSymbolic.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/common/structures/Transition.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/common/structures/Transition.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/common/structures/Transitions.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/common/structures/Transitions.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/modeler/Compiler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/modeler/Compiler.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/modeler/api/ProblemAPI.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/modeler/api/ProblemAPI.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/modeler/api/ProblemAPIBase.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/modeler/api/ProblemAPIBase.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/modeler/api/ProblemAPIOnVals.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/modeler/api/ProblemAPIOnVals.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/modeler/api/ProblemAPIOnVars.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/modeler/api/ProblemAPIOnVars.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/modeler/api/ProblemAPISymbolic.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/modeler/api/ProblemAPISymbolic.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/modeler/definitions/DefXCSP.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/modeler/definitions/DefXCSP.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/modeler/definitions/ICtr.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/modeler/definitions/ICtr.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/modeler/definitions/IObj.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/modeler/definitions/IObj.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/modeler/definitions/IRootForCtrAndObj.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/modeler/definitions/IRootForCtrAndObj.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/modeler/entities/CtrEntities.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/modeler/entities/CtrEntities.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/modeler/entities/ModelingEntity.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/modeler/entities/ModelingEntity.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/modeler/entities/ObjEntities.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/modeler/entities/ObjEntities.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/modeler/entities/VarEntities.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/modeler/entities/VarEntities.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/modeler/implementation/NotData.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/modeler/implementation/NotData.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/modeler/implementation/ProblemDataHandler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/modeler/implementation/ProblemDataHandler.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/modeler/implementation/ProblemIMP.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/modeler/implementation/ProblemIMP.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/modeler/implementation/ProblemIMP3.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/modeler/implementation/ProblemIMP3.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/modeler/problems/AllInterval.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/modeler/problems/AllInterval.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/modeler/problems/Bibd.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/modeler/problems/Bibd.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/modeler/problems/Blackhole.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/modeler/problems/Blackhole.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/modeler/problems/BoardColoration.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/modeler/problems/BoardColoration.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/modeler/problems/MagicSequence.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/modeler/problems/MagicSequence.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/modeler/problems/Pic.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/modeler/problems/Pic.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/modeler/problems/Pic2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/modeler/problems/Pic2.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/modeler/problems/Queens.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/modeler/problems/Queens.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/modeler/problems/Rack.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/modeler/problems/Rack.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/modeler/problems/Rack2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/modeler/problems/Rack2.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/modeler/problems/Riddle.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/modeler/problems/Riddle.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/modeler/problems/Riddle2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/modeler/problems/Riddle2.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/modeler/problems/Riddle3.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/modeler/problems/Riddle3.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/modeler/problems/Riddle4.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/modeler/problems/Riddle4.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/modeler/problems/Riddle4b.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/modeler/problems/Riddle4b.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/modeler/problems/Riddle5.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/modeler/problems/Riddle5.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/modeler/problems/Sudoku.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/modeler/problems/Sudoku.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/modeler/problems/Warehouse.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/modeler/problems/Warehouse.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/modeler/problems/Zebra.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/modeler/problems/Zebra.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/parser/WrongTypeException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/parser/WrongTypeException.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/parser/XParser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/parser/XParser.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/parser/callbacks/CompetitionValidator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/parser/callbacks/CompetitionValidator.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/parser/callbacks/FeatureDisplayer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/parser/callbacks/FeatureDisplayer.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/parser/callbacks/SolutionChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/parser/callbacks/SolutionChecker.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/parser/callbacks/XCallbacks.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/parser/callbacks/XCallbacks.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/parser/callbacks/XCallbacks2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/parser/callbacks/XCallbacks2.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/parser/entries/ParsingEntry.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/parser/entries/ParsingEntry.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/parser/entries/XConstraints.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/parser/entries/XConstraints.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/parser/entries/XObjectives.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/parser/entries/XObjectives.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/parser/entries/XVariables.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/parser/entries/XVariables.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/parser/loaders/ConstraintRecognizer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/parser/loaders/ConstraintRecognizer.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/parser/loaders/CtrLoaderInteger.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/parser/loaders/CtrLoaderInteger.java -------------------------------------------------------------------------------- /src/main/java/org/xcsp/parser/loaders/CtrLoaderSymbolic.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/main/java/org/xcsp/parser/loaders/CtrLoaderSymbolic.java -------------------------------------------------------------------------------- /src/test/java/TestSolutions.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xcsp3team/XCSP3-Java-Tools/HEAD/src/test/java/TestSolutions.java --------------------------------------------------------------------------------