MANIFEST.in
README.md
setup.py
pproblems/__init__.py
pproblems/series.py
pproblems/adp/Planeparking.py
pproblems/adp/PlaneparkingNamedTuple.py
pproblems/adp/PlaneparkingParser.py
pproblems/adp/PlaneparkingTask.py
pproblems/adp/__init__.py
pproblems/tests/__init__.py
pproblems/tests/pb_testing.py
pycsp3/__init__.py
pycsp3/compiler.py
pycsp3/dashboard.py
pycsp3/functions.py
pycsp3/version.txt
pycsp3.egg-info/PKG-INFO
pycsp3.egg-info/SOURCES.txt
pycsp3.egg-info/dependency_links.txt
pycsp3.egg-info/requires.txt
pycsp3.egg-info/top_level.txt
pycsp3/classes/__init__.py
pycsp3/classes/entities.py
pycsp3/classes/auxiliary/__init__.py
pycsp3/classes/auxiliary/conditions.py
pycsp3/classes/auxiliary/ptypes.py
pycsp3/classes/auxiliary/structures.py
pycsp3/classes/auxiliary/values.py
pycsp3/classes/main/__init__.py
pycsp3/classes/main/annotations.py
pycsp3/classes/main/constraints.py
pycsp3/classes/main/domains.py
pycsp3/classes/main/objectives.py
pycsp3/classes/main/variables.py
pycsp3/libs/__init__.py
pycsp3/libs/forbiddenfruit/__init__.py
pycsp3/problems/__init__.py
pycsp3/problems/cop/academic/BoardColoration.py
pycsp3/problems/cop/academic/ChangeMaking.py
pycsp3/problems/cop/academic/ClockTriplet.py
pycsp3/problems/cop/academic/CoinsGrid.py
pycsp3/problems/cop/academic/CookieMonster.py
pycsp3/problems/cop/academic/GolombRuler.py
pycsp3/problems/cop/academic/LowAutocorrelation.py
pycsp3/problems/cop/academic/Opd.py
pycsp3/problems/cop/academic/PeacableArmies.py
pycsp3/problems/cop/academic/QueenAttacking.py
pycsp3/problems/cop/academic/Ramsey.py
pycsp3/problems/cop/academic/StillLife.py
pycsp3/problems/cop/academic/WarOrPeace.py
pycsp3/problems/cop/academic/WaterBucket.py
pycsp3/problems/cop/complex/AircraftLanding.py
pycsp3/problems/cop/complex/Amaze.py
pycsp3/problems/cop/complex/Auction.py
pycsp3/problems/cop/complex/Bacp.py
pycsp3/problems/cop/complex/BinPacking.py
pycsp3/problems/cop/complex/Bugs.py
pycsp3/problems/cop/complex/BusScheduling.py
pycsp3/problems/cop/complex/Coloring.py
pycsp3/problems/cop/complex/Cutstock.py
pycsp3/problems/cop/complex/Diagnosis.py
pycsp3/problems/cop/complex/Fapp.py
pycsp3/problems/cop/complex/Fastfood.py
pycsp3/problems/cop/complex/GraphColoring.py
pycsp3/problems/cop/complex/GraphMaxAcyclic.py
pycsp3/problems/cop/complex/HCPizza.py
pycsp3/problems/cop/complex/Knapsack.py
pycsp3/problems/cop/complex/League.py
pycsp3/problems/cop/complex/LinearArrangement.py
pycsp3/problems/cop/complex/Mario.py
pycsp3/problems/cop/complex/MultiKnapsack.py
pycsp3/problems/cop/complex/NurseRostering.py
pycsp3/problems/cop/complex/OncallRostering.py
pycsp3/problems/cop/complex/OpenStacks.py
pycsp3/problems/cop/complex/PizzaVoucher.py
pycsp3/problems/cop/complex/PrizeCollecting.py
pycsp3/problems/cop/complex/ProgressiveParty.py
pycsp3/problems/cop/complex/PseudoBoolean.py
pycsp3/problems/cop/complex/QuadraticAssignment.py
pycsp3/problems/cop/complex/Rack.py
pycsp3/problems/cop/complex/Rack2.py
pycsp3/problems/cop/complex/Radiation.py
pycsp3/problems/cop/complex/Rcpsp.py
pycsp3/problems/cop/complex/Rehearsal.py
pycsp3/problems/cop/complex/Rlfap.py
pycsp3/problems/cop/complex/RoadConstruction.py
pycsp3/problems/cop/complex/RotationPuzzle.py
pycsp3/problems/cop/complex/SchedulingFS.py
pycsp3/problems/cop/complex/SchedulingJS.py
pycsp3/problems/cop/complex/SchedulingOS.py
pycsp3/problems/cop/complex/SetCovering.py
pycsp3/problems/cop/complex/SetPacking.py
pycsp3/problems/cop/complex/Sonet.py
pycsp3/problems/cop/complex/SteelMillSlab.py
pycsp3/problems/cop/complex/Tal.py
pycsp3/problems/cop/complex/TemplateDesign.py
pycsp3/problems/cop/complex/TrainSchedule.py
pycsp3/problems/cop/complex/TravelingPurchaser.py
pycsp3/problems/cop/complex/TravelingSalesman.py
pycsp3/problems/cop/complex/TravelingTournament.py
pycsp3/problems/cop/complex/TravelingTournamentWithPredefinedVenues.py
pycsp3/problems/cop/complex/Vellino.py
pycsp3/problems/cop/complex/Vrp.py
pycsp3/problems/cop/complex/Warehouse.py
pycsp3/problems/cop/single/DakotaFurniture.py
pycsp3/problems/cop/single/Photo.py
pycsp3/problems/cop/single/Recipe.py
pycsp3/problems/cop/single/Witch.py
pycsp3/problems/csp/academic/AllInterval.py
pycsp3/problems/csp/academic/Bibd.py
pycsp3/problems/csp/academic/ColouredQueens.py
pycsp3/problems/csp/academic/CostasArray.py
pycsp3/problems/csp/academic/CoveringArray.py
pycsp3/problems/csp/academic/CryptoPuzzle.py
pycsp3/problems/csp/academic/DeBruijnSequence.py
pycsp3/problems/csp/academic/DiamondFree.py
pycsp3/problems/csp/academic/Domino.py
pycsp3/problems/csp/academic/Dubois.py
pycsp3/problems/csp/academic/Enigme5.py
pycsp3/problems/csp/academic/GracefulGraph.py
pycsp3/problems/csp/academic/Hadamard.py
pycsp3/problems/csp/academic/KnightTour.py
pycsp3/problems/csp/academic/Langford.py
pycsp3/problems/csp/academic/LangfordBin.py
pycsp3/problems/csp/academic/MagicHexagon.py
pycsp3/problems/csp/academic/MagicSequence.py
pycsp3/problems/csp/academic/NumberPartitioning.py
pycsp3/problems/csp/academic/Ortholatin.py
pycsp3/problems/csp/academic/Pigeons.py
pycsp3/problems/csp/academic/PropStress.py
pycsp3/problems/csp/academic/QuasiGroup.py
pycsp3/problems/csp/academic/Queens.py
pycsp3/problems/csp/academic/QueensKnights.py
pycsp3/problems/csp/academic/SchurrLemma.py
pycsp3/problems/csp/academic/SocialGolfers.py
pycsp3/problems/csp/academic/SportsScheduling.py
pycsp3/problems/csp/academic/Steiner3.py
pycsp3/problems/csp/academic/Superpermutation.py
pycsp3/problems/csp/academic/Talisman.py
pycsp3/problems/csp/academic/WordDesign.py
pycsp3/problems/csp/complex/Areas.py
pycsp3/problems/csp/complex/Blackhole.py
pycsp3/problems/csp/complex/CarSequencing.py
pycsp3/problems/csp/complex/Coloring.py
pycsp3/problems/csp/complex/Crossword.py
pycsp3/problems/csp/complex/Dominoes.py
pycsp3/problems/csp/complex/Eternity.py
pycsp3/problems/csp/complex/Fillomino.py
pycsp3/problems/csp/complex/Futoshiki.py
pycsp3/problems/csp/complex/Kakuro.py
pycsp3/problems/csp/complex/LatinSquare.py
pycsp3/problems/csp/complex/LatinSquare2.py
pycsp3/problems/csp/complex/Layout.py
pycsp3/problems/csp/complex/Lightup.py
pycsp3/problems/csp/complex/Lits.py
pycsp3/problems/csp/complex/MagicSquare.py
pycsp3/problems/csp/complex/MarketSplit.py
pycsp3/problems/csp/complex/MineSweeper.py
pycsp3/problems/csp/complex/MisteryShopper.py
pycsp3/problems/csp/complex/Nonogram.py
pycsp3/problems/csp/complex/RadarSurveillance.py
pycsp3/problems/csp/complex/RectPacking.py
pycsp3/problems/csp/complex/RoomMate.py
pycsp3/problems/csp/complex/Sat.py
pycsp3/problems/csp/complex/Shikaku.py
pycsp3/problems/csp/complex/SolitaireBattleship.py
pycsp3/problems/csp/complex/Spiral.py
pycsp3/problems/csp/complex/StableMarriage.py
pycsp3/problems/csp/complex/StripPacking.py
pycsp3/problems/csp/complex/Subisomorphism.py
pycsp3/problems/csp/complex/Sudoku.py
pycsp3/problems/csp/complex/Survo.py
pycsp3/problems/csp/complex/VesselLoading.py
pycsp3/problems/csp/complex/Wwtpp.py
pycsp3/problems/csp/single/Abbots.py
pycsp3/problems/csp/single/Agatha.py
pycsp3/problems/csp/single/Allergy.py
pycsp3/problems/csp/single/Alpha.py
pycsp3/problems/csp/single/Audrey.py
pycsp3/problems/csp/single/Dimes.py
pycsp3/problems/csp/single/Dinner.py
pycsp3/problems/csp/single/Dudeney.py
pycsp3/problems/csp/single/Grocery.py
pycsp3/problems/csp/single/LabeledDice.py
pycsp3/problems/csp/single/MagicModuloNumber.py
pycsp3/problems/csp/single/NFractions.py
pycsp3/problems/csp/single/Picnic.py
pycsp3/problems/csp/single/PrimeLooking.py
pycsp3/problems/csp/single/Purdey.py
pycsp3/problems/csp/single/Riddle.py
pycsp3/problems/csp/single/SafeCracking.py
pycsp3/problems/csp/single/Sandwich.py
pycsp3/problems/csp/single/SendMore.py
pycsp3/problems/csp/single/SimpleColoring.py
pycsp3/problems/csp/single/Square.py
pycsp3/problems/csp/single/SuperNumber.py
pycsp3/problems/csp/single/TrafficLights.py
pycsp3/problems/csp/single/TravelingWorld.py
pycsp3/problems/csp/single/Zebra.py
pycsp3/problems/data/__init__.py
pycsp3/problems/data/parsing.py
pycsp3/problems/data/json/Amaze_simple.json
pycsp3/problems/data/json/Areas-3-3-3.json
pycsp3/problems/data/json/Areas-5-5-9.json
pycsp3/problems/data/json/Auction_example.json
pycsp3/problems/data/json/Bacp_10.json
pycsp3/problems/data/json/Bibd-3-4-6.json
pycsp3/problems/data/json/BinPacking_n1c1w4a.json
pycsp3/problems/data/json/Blackhole.json
pycsp3/problems/data/json/Brussels.json
pycsp3/problems/data/json/Bugs_example.json
pycsp3/problems/data/json/BusScheduling_c1a.json
pycsp3/problems/data/json/BusScheduling_r1.json
pycsp3/problems/data/json/BusScheduling_t1.json
pycsp3/problems/data/json/CarSequencing_dingbas.json
pycsp3/problems/data/json/Coloring_rand1.json
pycsp3/problems/data/json/Crossword_h0504-lex.json
pycsp3/problems/data/json/Crossword_h1501-lex.json
pycsp3/problems/data/json/Crossword_vg6-7-ogd.json
pycsp3/problems/data/json/Cutstock_small.json
pycsp3/problems/data/json/Diagnosis_example.json
pycsp3/problems/data/json/Dominoes_grid1.json
pycsp3/problems/data/json/Eternity_07x05.json
pycsp3/problems/data/json/Fapp_01-0200.json
pycsp3/problems/data/json/Fapp_ex2.json
pycsp3/problems/data/json/Fastfood_ff01.json
pycsp3/problems/data/json/Fillomino-01.json
pycsp3/problems/data/json/Fillomino-08.json
pycsp3/problems/data/json/Fillomino-22.json
pycsp3/problems/data/json/FrequencyAllocation-example.json
pycsp3/problems/data/json/Futoshiki_futo3_0.json
pycsp3/problems/data/json/GP-os-01.json
pycsp3/problems/data/json/GraphColoring_1-fullins-3.json
pycsp3/problems/data/json/GraphColoring_qwhdec-o18-h120-1.json
pycsp3/problems/data/json/GraphMaxAcyclic_example.json
pycsp3/problems/data/json/HCPizza_tiny.json
pycsp3/problems/data/json/Kakuro_easy-000.json
pycsp3/problems/data/json/Knapsack_20-50-00.json
pycsp3/problems/data/json/LatinSquare2_7-2-0.json
pycsp3/problems/data/json/LatinSquare_qwh-o030-h320.json
pycsp3/problems/data/json/Layout_example.json
pycsp3/problems/data/json/League_010-03-04.json
pycsp3/problems/data/json/Lightup_example.json
pycsp3/problems/data/json/Lits-example.json
pycsp3/problems/data/json/Mario_easy-2.json
pycsp3/problems/data/json/MarketSplit_04.json
pycsp3/problems/data/json/MinLA01.json
pycsp3/problems/data/json/MisteryShopper_04.json
pycsp3/problems/data/json/NurseRostering_00.json
pycsp3/problems/data/json/NurseRostering_18.json
pycsp3/problems/data/json/Oncall-4s-10d.json
pycsp3/problems/data/json/PizzaVoucher_pizza6.json
pycsp3/problems/data/json/QuadraticAssignment_qap.json
pycsp3/problems/data/json/Rack_r2.json
pycsp3/problems/data/json/Rack_r2b.json
pycsp3/problems/data/json/RadarSurveillance_8-24-3-2-00.json
pycsp3/problems/data/json/Radiation-01.json
pycsp3/problems/data/json/Rcpsp_j30-01-01.json
pycsp3/problems/data/json/RectPacking_perfect-001.json
pycsp3/problems/data/json/RehearsalSmith.json
pycsp3/problems/data/json/Riddle.json
pycsp3/problems/data/json/Rlfap_card-scen-04.json
pycsp3/problems/data/json/Rlfap_max-graph-05.json
pycsp3/problems/data/json/Rlfap_span-scen-05.json
pycsp3/problems/data/json/Road_9.json
pycsp3/problems/data/json/RoomMate_sr0006.json
pycsp3/problems/data/json/Sadeh-js-e0ddr1-0.json
pycsp3/problems/data/json/Sat_flat30-16.json
pycsp3/problems/data/json/SchedulingFS-Taillard-os-04-04-0.json
pycsp3/problems/data/json/Shikaku_grid1.json
pycsp3/problems/data/json/SolitaireBattleship-battleship_instances-00113.json
pycsp3/problems/data/json/SolitaireBattleship_sb-12-12-5-0.json
pycsp3/problems/data/json/Sonet_sonet1.json
pycsp3/problems/data/json/Sonet_sonet3-4.json
pycsp3/problems/data/json/Spirals-ex1.json
pycsp3/problems/data/json/StableMarriage-example.json
pycsp3/problems/data/json/SteelMillSlab_bench_2_0.json
pycsp3/problems/data/json/StripPacking_C1P1.json
pycsp3/problems/data/json/Subisomorphism_A-01.json
pycsp3/problems/data/json/Subsets_example.json
pycsp3/problems/data/json/Sudoku_s13a.json
pycsp3/problems/data/json/Survo-01.json
pycsp3/problems/data/json/Taillard-fs-020-05-1.json
pycsp3/problems/data/json/Taillard-js-015-15-1.json
pycsp3/problems/data/json/Taillard-os-05-05-1.json
pycsp3/problems/data/json/Tal-frobserved-7-15-11-13-9-1-11-7-4_1.json
pycsp3/problems/data/json/TemplateDesign_catfood_2.json
pycsp3/problems/data/json/TravelingPurchaser-7-5-30-1.json
pycsp3/problems/data/json/TravelingSalesman_10-20-0.json
pycsp3/problems/data/json/TravelingTournament_galaxy04.json
pycsp3/problems/data/json/Ttppv_circ8bbal.json
pycsp3/problems/data/json/Vellino-5.json
pycsp3/problems/data/json/Vellino-example.json
pycsp3/problems/data/json/VesselLoading-inst1.json
pycsp3/problems/data/json/VesselLoading-inst2.json
pycsp3/problems/data/json/Vrp_P-n16-k8.json
pycsp3/problems/data/json/WordDesign.json
pycsp3/problems/data/json/Wwtpp_ex04400.json
pycsp3/problems/data/parsers/AircraftLanding_Parser.py
pycsp3/problems/data/parsers/Amaze_ParserZ.py
pycsp3/problems/data/parsers/Auction_Parser.py
pycsp3/problems/data/parsers/Bacp_ParserZ.py
pycsp3/problems/data/parsers/BinPacking_Parser.py
pycsp3/problems/data/parsers/Blackhole_Random.py
pycsp3/problems/data/parsers/BugsDictParser.py
pycsp3/problems/data/parsers/Bugs_Parser.py
pycsp3/problems/data/parsers/Coloring_Random.py
pycsp3/problems/data/parsers/Eternity_Parser.py
pycsp3/problems/data/parsers/Fastfood_ParserZ.py
pycsp3/problems/data/parsers/GraphMaxAcyclic_Parser.py
pycsp3/problems/data/parsers/HCPizza_Parser.py
pycsp3/problems/data/parsers/HCPizza_Random.py
pycsp3/problems/data/parsers/Lightup_Parser.py
pycsp3/problems/data/parsers/LinearArrangement_Parser.py
pycsp3/problems/data/parsers/MagicSquare_Parser.py
pycsp3/problems/data/parsers/MultiKnapsack_Parser.py
pycsp3/problems/data/parsers/Nonogram_Parser.py
pycsp3/problems/data/parsers/OncallRostering_ParserZ.py
pycsp3/problems/data/parsers/OpenStacks_ParserZ.py
pycsp3/problems/data/parsers/PizzaVoucher_Converter.py
pycsp3/problems/data/parsers/PrizeCollecting_ParserZ.py
pycsp3/problems/data/parsers/ProgressiveParty_Parser.py
pycsp3/problems/data/parsers/PseudoBoolean_Parser.py
pycsp3/problems/data/parsers/QuadraticAssignment_Parser.py
pycsp3/problems/data/parsers/RadarSurveillanceParser.py
pycsp3/problems/data/parsers/Radiation_ParserZ.py
pycsp3/problems/data/parsers/RoadConstruction_ParserZ.py
pycsp3/problems/data/parsers/SchedulingFS_Parser.py
pycsp3/problems/data/parsers/Sonet_Parser.py
pycsp3/problems/data/parsers/Sudoku_Parser.py
pycsp3/problems/data/parsers/TravelingTournamentWithPredefinedVenues_ParserZ.py
pycsp3/problems/data/parsers/TravelingTournament_Parser.py
pycsp3/problems/data/parsers/Warehouse_Parser.py
pycsp3/problems/data/parsers/Warehouse_Random.py
pycsp3/problems/data/parsers/Wsp_Parser.py
pycsp3/problems/data/parsers/__init__.py
pycsp3/problems/data/raw/Amaze_2012-03-07.dzn
pycsp3/problems/data/raw/Auction_example.txt
pycsp3/problems/data/raw/Bacp_10.mzn
pycsp3/problems/data/raw/Bacp_inst0.txt
pycsp3/problems/data/raw/BinPacking_example.txt
pycsp3/problems/data/raw/Bugs_example.txt
pycsp3/problems/data/raw/BusScheduling_example.dzn
pycsp3/problems/data/raw/CarSequencing_example.txt
pycsp3/problems/data/raw/Cutstock_example.dzn
pycsp3/problems/data/raw/Dominoes_example.txt
pycsp3/problems/data/raw/Eternity_example.txt
pycsp3/problems/data/raw/Fapp_example.txt
pycsp3/problems/data/raw/Fastfood_example.dzn
pycsp3/problems/data/raw/Futoshoki_example.txt
pycsp3/problems/data/raw/GraphColoring_example1.col
pycsp3/problems/data/raw/GraphColoring_example2.col
pycsp3/problems/data/raw/GraphMaxAcyclic_example.txt
pycsp3/problems/data/raw/HCPizza_small.txt
pycsp3/problems/data/raw/HCPizza_tiny.txt
pycsp3/problems/data/raw/Kakuro_example.ecl
pycsp3/problems/data/raw/LatinSquare_example.txt
pycsp3/problems/data/raw/League_example.dzn
pycsp3/problems/data/raw/Lightup_example.txt
pycsp3/problems/data/raw/MagicSquare_example0.txt
pycsp3/problems/data/raw/MagicSquare_example1.txt
pycsp3/problems/data/raw/Mario_example.dzn
pycsp3/problems/data/raw/MarketSplit_example.txt
pycsp3/problems/data/raw/MultiKnapsack_example.txt
pycsp3/problems/data/raw/Nonogram_example.txt
pycsp3/problems/data/raw/NurseRostering_example.txt
pycsp3/problems/data/raw/Oncall-4s-10d.dzn
pycsp3/problems/data/raw/OpenStacks_example.dzn
pycsp3/problems/data/raw/PizzaVoucher_example.dzn
pycsp3/problems/data/raw/PrizeCollecting_example.dzn
pycsp3/problems/data/raw/ProgressiveParty_example.txt
pycsp3/problems/data/raw/PseudoBoolean_example.opb
pycsp3/problems/data/raw/QuadraticAssignment_example.txt
pycsp3/problems/data/raw/RadarSurveillance.txt
pycsp3/problems/data/raw/Radiation-01.dzn
pycsp3/problems/data/raw/Rcpsp_example.sm
pycsp3/problems/data/raw/RoomMate-example.txt
pycsp3/problems/data/raw/SAT_example.cnf
pycsp3/problems/data/raw/Shikaku_example.txt
pycsp3/problems/data/raw/SolitaireBattleship_example.dzn
pycsp3/problems/data/raw/SteelMillSlab_example.txt
pycsp3/problems/data/raw/Subisomorphism_examplePattern.txt
pycsp3/problems/data/raw/Subisomorphism_exampleTarget.txt
pycsp3/problems/data/raw/Sudoku_example.txt
pycsp3/problems/data/raw/TemplateDesign_example.dzn
pycsp3/problems/data/raw/Tpp-example.dzn
pycsp3/problems/data/raw/TravelingSalesman_example.txt
pycsp3/problems/data/raw/TravellingTournament_example.txt
pycsp3/problems/data/raw/Ttppv_example.dzn
pycsp3/problems/data/raw/Vrp_example.dzn
pycsp3/problems/data/raw/Warehouse_example.txt
pycsp3/problems/data/raw/Wsp_Rand18-180-0.5-27-18-18-0.wsp
pycsp3/problems/data/raw/Wwtpp_example.dzn
pycsp3/problems/data/raw/airland01.txt
pycsp3/problems/tests/__init__.py
pycsp3/problems/tests/cop_academic.py
pycsp3/problems/tests/cop_complex.py
pycsp3/problems/tests/cop_single.py
pycsp3/problems/tests/csp_academic.py
pycsp3/problems/tests/csp_complex.py
pycsp3/problems/tests/csp_single.py
pycsp3/problems/tests/tester.py
pycsp3/problems/tests/tmp/cop/academic/PyCSP/BoardColoration-8-10.xml
pycsp3/problems/tests/tmp/cop/academic/PyCSP/ChangeMaking-10.xml
pycsp3/problems/tests/tmp/cop/academic/PyCSP/ChangeMaking-compact-10.xml
pycsp3/problems/tests/tmp/cop/academic/PyCSP/CoinsGrid-10-4.xml
pycsp3/problems/tests/tmp/cop/academic/PyCSP/GolombRuler-8.xml
pycsp3/problems/tests/tmp/cop/academic/PyCSP/GolombRuler-aux-8.xml
pycsp3/problems/tests/tmp/cop/academic/PyCSP/GolombRuler-dec-8.xml
pycsp3/problems/tests/tmp/cop/academic/PyCSP/LowAutocorrelation-16.xml
pycsp3/problems/tests/tmp/cop/academic/PyCSP/Opd-4-4-4.xml
pycsp3/problems/tests/tmp/cop/academic/PyCSP/Opd-aux-4-6-4.xml
pycsp3/problems/tests/tmp/cop/academic/PyCSP/PeacableArmies-m1-6.xml
pycsp3/problems/tests/tmp/cop/academic/PyCSP/PeacableArmies-m2-6.xml
pycsp3/problems/tests/tmp/cop/academic/PyCSP/QueenAttacking-6.xml
pycsp3/problems/tests/tmp/cop/academic/PyCSP/QueenAttacking-aux-6.xml
pycsp3/problems/tests/tmp/cop/academic/PyCSP/QueenAttacking-hybrid-6.xml
pycsp3/problems/tests/tmp/cop/academic/PyCSP/QueenAttacking-table-6.xml
pycsp3/problems/tests/tmp/cop/academic/PyCSP/Ramsey-10.xml
pycsp3/problems/tests/tmp/cop/academic/PyCSP/StillLife-7-7.xml
pycsp3/problems/tests/tmp/cop/academic/PyCSP/StillLife-wastage-8-8.xml
pycsp3/problems/tests/tmp/cop/academic/PyCSP/WaterBucket-8-5-3-4-4-0-8.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/AircraftLanding-airland01.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/AircraftLanding-table-airland01.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/Amaze_2012-03-07.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/Amaze_simple.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/Auction_example.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/Bacp-m1-d_10.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/Bacp-m1_10.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/Bacp-m2-d_10.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/Bacp-m2_10.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/BinPacking-table_n1c1w4a.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/BinPacking_example.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/BinPacking_n1c1w4a.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/Bugs_example.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/BusScheduling_c1a.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/BusScheduling_r1.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/BusScheduling_t1.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/Coloring_rand1.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/Cutstock_small.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/Fapp-short_ex2.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/Fapp_ex2.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/Fastfood-table_ff01.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/Fastfood_example.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/Fastfood_ff01.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/GraphColoring-sum_1-fullins-3.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/GraphColoring-sum_qwhdec-o18-h120-1.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/GraphColoring_1-fullins-3.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/GraphColoring_qwhdec-o18-h120-1.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/GraphMaxAcyclic-cnt_example.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/GraphMaxAcyclic_example.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/HCPizza_small.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/HCPizza_tiny.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/Knapsack_20-50-00.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/League_010-03-04.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/LinearArrangement-MinLA01.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/Mario-aux_easy-2.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/Mario-table_easy-2.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/Mario_easy-2.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/MultiKnapsack_example.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/NurseRostering_00.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/NurseRostering_18.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/OpenStacks-m1_example.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/OpenStacks-m2_example.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/PizzaVoucher_pizza6.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/PrizeCollecting-table_example.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/PrizeCollecting_example.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/ProgressiveParty_example.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/PseudoBoolean_example.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/QuadraticAssignment_example.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/QuadraticAssignment_qap.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/Rack2-Rack_r2b.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/Rack_r2.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/Rcpsp_j30-01-01.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/Rehearsal-bisSmith.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/RehearsalSmith.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/Rlfap-card_card-scen-04.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/Rlfap-max_max-graph-05.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/Rlfap-span_span-scen-05.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/RoadConstruction-Road_9.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/SchedulingFS-Taillard-fs-020-05-1.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/SchedulingFS-Taillard-os-04-04-0.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/SchedulingJS-Sadeh-js-e0ddr1-0.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/SchedulingJS-Taillard-js-015-15-1.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/SchedulingOS-GP-os-01.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/SchedulingOS-Taillard-os-05-05-1.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/SetCovering-Subsets_example.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/SetPacking-Subsets_example.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/Sonet_sonet1.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/Sonet_sonet3-4.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/SteelMillSlab-01_bench_2_0.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/SteelMillSlab_bench_2_0.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/Tal-frobserved-7-15-11-13-9-1-11-7-4_1.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/TemplateDesign-aux_catfood_2.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/TemplateDesign_catfood_2.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/TravelingPurchaser-7-5-30-1.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/TravelingSalesman-table_10-20-0.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/TravelingSalesman_10-20-0.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/TravelingTournament-a2_galaxy04.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/TravelingTournament-a3_galaxy04.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/TravelingTournamentWithPredefinedVenues-a2-Ttppv_circ8bbal.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/TravelingTournamentWithPredefinedVenues-a3-Ttppv_circ8bbal.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/Vellino-5.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/Vrp_P-n16-k8.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/Warehouse-compact_example.xml
pycsp3/problems/tests/tmp/cop/complex/PyCSP/Warehouse_example.xml
pycsp3/problems/tests/tmp/cop/single/PyCSP/DakotaFurniture.xml
pycsp3/problems/tests/tmp/cop/single/PyCSP/Photo-aux.xml
pycsp3/problems/tests/tmp/cop/single/PyCSP/Photo.xml
pycsp3/problems/tests/tmp/cop/single/PyCSP/Recipe.xml
pycsp3/problems/tests/tmp/cop/single/PyCSP/Witch.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/AllInterval-10.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/AllInterval-aux-10.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/Bibd-6-0-0-3-8.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/Bibd-aux-6-0-0-3-8.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/ColouredQueens-6.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/CostasArray-10.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/CoveringArray-3-5-2-10.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/CryptoPuzzle-DONALD-GERALD-ROBERT.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/CryptoPuzzle-SEND-MORE-MONEY.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/CryptoPuzzle-carry-SEND-MORE-MONEY.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/DeBruijnSequence-2-5.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/DiamondFree-8.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/Domino-200-200.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/Domino-table-200-200.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/Dubois-10.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/Enigme5-364-55440.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/GracefulGraph-3-5.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/KnightTour-16.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/KnightTour-table-2-16.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/KnightTour-table-3-16.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/Langford-3-10.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/LangfordBin-8.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/MagicHexagon-4-3.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/MagicSequence-10.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/NumberPartitioning-10.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/NumberPartitioning-8.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/Ortholatin-5.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/Pigeons-6.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/Pigeons-dec-6.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/PropStress-20.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/QuasiGroup-aux-v3-8.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/QuasiGroup-aux-v4-5.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/QuasiGroup-aux-v5-8.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/QuasiGroup-aux-v7-9.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/QuasiGroup-base-v3-8.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/QuasiGroup-base-v4-5.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/QuasiGroup-base-v5-8.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/QuasiGroup-base-v6-8.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/QuasiGroup-base-v7-9.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/Queens-10.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/Queens-v1-10.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/Queens-v2-10.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/QueensKnights-10-5.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/QueensKnights-6-4.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/SchurrLemma-6-6.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/SchurrLemma-mod-8-8.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/SocialGolfers-01-4-4-5.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/SocialGolfers-4-4-5.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/SportsScheduling-6.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/SportsScheduling-dummy-6.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/Steiner3-7.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/Superpermutation-3.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/Superpermutation-table-3.xml
pycsp3/problems/tests/tmp/csp/academic/PyCSP/Talisman-4-2.xml
pycsp3/problems/tests/tmp/csp/complex/PyCSP/Areas-3-3-3.xml
pycsp3/problems/tests/tmp/csp/complex/PyCSP/Blackhole.xml
pycsp3/problems/tests/tmp/csp/complex/PyCSP/CarSequencing-table_dingbas.xml
pycsp3/problems/tests/tmp/csp/complex/PyCSP/CarSequencing_dingbas.xml
pycsp3/problems/tests/tmp/csp/complex/PyCSP/Coloring-csp_rand1.xml
pycsp3/problems/tests/tmp/csp/complex/PyCSP/Crossword-alt_h0504-lex.xml
pycsp3/problems/tests/tmp/csp/complex/PyCSP/Crossword_h1501-lex.xml
pycsp3/problems/tests/tmp/csp/complex/PyCSP/Crossword_vg6-7-ogd.xml
pycsp3/problems/tests/tmp/csp/complex/PyCSP/Dominoes_grid1.xml
pycsp3/problems/tests/tmp/csp/complex/PyCSP/Eternity_07x05.xml
pycsp3/problems/tests/tmp/csp/complex/PyCSP/Eternity_example.xml
pycsp3/problems/tests/tmp/csp/complex/PyCSP/Fillomino-01.xml
pycsp3/problems/tests/tmp/csp/complex/PyCSP/Fillomino-08.xml
pycsp3/problems/tests/tmp/csp/complex/PyCSP/Futoshiki_futo3_0.xml
pycsp3/problems/tests/tmp/csp/complex/PyCSP/Kakuro-table_easy-000.xml
pycsp3/problems/tests/tmp/csp/complex/PyCSP/Kakuro_easy-000.xml
pycsp3/problems/tests/tmp/csp/complex/PyCSP/LatinSquare2_7-2-0.xml
pycsp3/problems/tests/tmp/csp/complex/PyCSP/LatinSquare_qwh-o030-h320.xml
pycsp3/problems/tests/tmp/csp/complex/PyCSP/Layout_example.xml
pycsp3/problems/tests/tmp/csp/complex/PyCSP/Lightup_example.xml
pycsp3/problems/tests/tmp/csp/complex/PyCSP/Lits-example.xml
pycsp3/problems/tests/tmp/csp/complex/PyCSP/MagicSquare-4-None.xml
pycsp3/problems/tests/tmp/csp/complex/PyCSP/MagicSquare_example1.xml
pycsp3/problems/tests/tmp/csp/complex/PyCSP/MarketSplit_04.xml
pycsp3/problems/tests/tmp/csp/complex/PyCSP/MineSweeper.xml
pycsp3/problems/tests/tmp/csp/complex/PyCSP/MisteryShopper_04.xml
pycsp3/problems/tests/tmp/csp/complex/PyCSP/Nonogram-table_example.xml
pycsp3/problems/tests/tmp/csp/complex/PyCSP/Nonogram_example.xml
pycsp3/problems/tests/tmp/csp/complex/PyCSP/RadarSurveillance_8-24-3-2-00.xml
pycsp3/problems/tests/tmp/csp/complex/PyCSP/RectPacking_perfect-001.xml
pycsp3/problems/tests/tmp/csp/complex/PyCSP/RoomMate_sr0006.xml
pycsp3/problems/tests/tmp/csp/complex/PyCSP/Sat-clause_flat30-16.xml
pycsp3/problems/tests/tmp/csp/complex/PyCSP/Sat-dual_flat30-16.xml
pycsp3/problems/tests/tmp/csp/complex/PyCSP/Sat-sum_flat30-16.xml
pycsp3/problems/tests/tmp/csp/complex/PyCSP/Shikaku_grid1.xml
pycsp3/problems/tests/tmp/csp/complex/PyCSP/SolitaireBattleship-battleship_instances-00113.xml
pycsp3/problems/tests/tmp/csp/complex/PyCSP/SolitaireBattleship_sb-12-12-5-0.xml
pycsp3/problems/tests/tmp/csp/complex/PyCSP/Spiral-table.xml
pycsp3/problems/tests/tmp/csp/complex/PyCSP/Spiral.xml
pycsp3/problems/tests/tmp/csp/complex/PyCSP/StableMarriage-example.xml
pycsp3/problems/tests/tmp/csp/complex/PyCSP/StripPacking_C1P1.xml
pycsp3/problems/tests/tmp/csp/complex/PyCSP/Subisomorphism_A-01.xml
pycsp3/problems/tests/tmp/csp/complex/PyCSP/Sudoku-9-None.xml
pycsp3/problems/tests/tmp/csp/complex/PyCSP/Sudoku-table_s13a.xml
pycsp3/problems/tests/tmp/csp/complex/PyCSP/Sudoku_example.xml
pycsp3/problems/tests/tmp/csp/complex/PyCSP/Sudoku_s13a.xml
pycsp3/problems/tests/tmp/csp/complex/PyCSP/Survo-01.xml
pycsp3/problems/tests/tmp/csp/complex/PyCSP/VesselLoading-inst1.xml
pycsp3/problems/tests/tmp/csp/complex/PyCSP/VesselLoading-inst2.xml
pycsp3/problems/tests/tmp/csp/complex/PyCSP/Wwtpp-short_ex04400.xml
pycsp3/problems/tests/tmp/csp/complex/PyCSP/Wwtpp_ex04400.xml
pycsp3/problems/tests/tmp/csp/single/PyCSP/Abbots.xml
pycsp3/problems/tests/tmp/csp/single/PyCSP/Agatha.xml
pycsp3/problems/tests/tmp/csp/single/PyCSP/Allergy.xml
pycsp3/problems/tests/tmp/csp/single/PyCSP/Alpha-var.xml
pycsp3/problems/tests/tmp/csp/single/PyCSP/Alpha.xml
pycsp3/problems/tests/tmp/csp/single/PyCSP/Dimes.xml
pycsp3/problems/tests/tmp/csp/single/PyCSP/Dinner.xml
pycsp3/problems/tests/tmp/csp/single/PyCSP/Dudeney.xml
pycsp3/problems/tests/tmp/csp/single/PyCSP/Grocery.xml
pycsp3/problems/tests/tmp/csp/single/PyCSP/LabeledDice.xml
pycsp3/problems/tests/tmp/csp/single/PyCSP/MagicModuloNumber.xml
pycsp3/problems/tests/tmp/csp/single/PyCSP/NFractions.xml
pycsp3/problems/tests/tmp/csp/single/PyCSP/Picnic.xml
pycsp3/problems/tests/tmp/csp/single/PyCSP/PrimeLooking.xml
pycsp3/problems/tests/tmp/csp/single/PyCSP/Purdey.xml
pycsp3/problems/tests/tmp/csp/single/PyCSP/Riddle-v1.xml
pycsp3/problems/tests/tmp/csp/single/PyCSP/Riddle-v2.xml
pycsp3/problems/tests/tmp/csp/single/PyCSP/Riddle-v3a.xml
pycsp3/problems/tests/tmp/csp/single/PyCSP/Riddle-v3b.xml
pycsp3/problems/tests/tmp/csp/single/PyCSP/Riddle-v4a.xml
pycsp3/problems/tests/tmp/csp/single/PyCSP/Riddle-v4b.xml
pycsp3/problems/tests/tmp/csp/single/PyCSP/Riddle-v5.xml
pycsp3/problems/tests/tmp/csp/single/PyCSP/SafeCracking.xml
pycsp3/problems/tests/tmp/csp/single/PyCSP/Sandwich.xml
pycsp3/problems/tests/tmp/csp/single/PyCSP/SendMore.xml
pycsp3/problems/tests/tmp/csp/single/PyCSP/SimpleColoring.xml
pycsp3/problems/tests/tmp/csp/single/PyCSP/Square.xml
pycsp3/problems/tests/tmp/csp/single/PyCSP/SuperNumber-rules.xml
pycsp3/problems/tests/tmp/csp/single/PyCSP/SuperNumber.xml
pycsp3/problems/tests/tmp/csp/single/PyCSP/TrafficLights.xml
pycsp3/problems/tests/tmp/csp/single/PyCSP/TravelingWorld-integer.xml
pycsp3/problems/tests/tmp/csp/single/PyCSP/TravelingWorld.xml
pycsp3/problems/tests/tmp/csp/single/PyCSP/Zebra.xml
pycsp3/problems/tests/xcsp/cop/academic/BoardColoration-8-10.xml
pycsp3/problems/tests/xcsp/cop/academic/ChangeMaking-10.xml
pycsp3/problems/tests/xcsp/cop/academic/ChangeMaking-compact-10.xml
pycsp3/problems/tests/xcsp/cop/academic/CoinsGrid-10-4.xml
pycsp3/problems/tests/xcsp/cop/academic/GolombRuler-8.xml
pycsp3/problems/tests/xcsp/cop/academic/GolombRuler-aux-8.xml
pycsp3/problems/tests/xcsp/cop/academic/GolombRuler-dec-8.xml
pycsp3/problems/tests/xcsp/cop/academic/LowAutocorrelation-16.xml
pycsp3/problems/tests/xcsp/cop/academic/Opd-4-4-4.xml
pycsp3/problems/tests/xcsp/cop/academic/Opd-aux-4-6-4.xml
pycsp3/problems/tests/xcsp/cop/academic/PeacableArmies-m1-6.xml
pycsp3/problems/tests/xcsp/cop/academic/PeacableArmies-m2-6.xml
pycsp3/problems/tests/xcsp/cop/academic/QueenAttacking-6.xml
pycsp3/problems/tests/xcsp/cop/academic/QueenAttacking-aux-6.xml
pycsp3/problems/tests/xcsp/cop/academic/QueenAttacking-hybrid-6.xml
pycsp3/problems/tests/xcsp/cop/academic/QueenAttacking-table-6.xml
pycsp3/problems/tests/xcsp/cop/academic/Ramsey-10.xml
pycsp3/problems/tests/xcsp/cop/academic/StillLife-7-7.xml
pycsp3/problems/tests/xcsp/cop/academic/StillLife-wastage-8-8.xml
pycsp3/problems/tests/xcsp/cop/academic/WaterBucket-8-5-3-4-4-0-8.xml
pycsp3/problems/tests/xcsp/cop/complex/AircraftLanding-airland01.xml
pycsp3/problems/tests/xcsp/cop/complex/AircraftLanding-table-airland01.xml
pycsp3/problems/tests/xcsp/cop/complex/Amaze_2012-03-07.xml
pycsp3/problems/tests/xcsp/cop/complex/Amaze_simple.xml
pycsp3/problems/tests/xcsp/cop/complex/Auction_example.xml
pycsp3/problems/tests/xcsp/cop/complex/Bacp-m1-d_10.xml
pycsp3/problems/tests/xcsp/cop/complex/Bacp-m1_10.xml
pycsp3/problems/tests/xcsp/cop/complex/Bacp-m2-d_10.xml
pycsp3/problems/tests/xcsp/cop/complex/Bacp-m2_10.xml
pycsp3/problems/tests/xcsp/cop/complex/BinPacking-table_n1c1w4a.xml
pycsp3/problems/tests/xcsp/cop/complex/BinPacking_example.xml
pycsp3/problems/tests/xcsp/cop/complex/BinPacking_n1c1w4a.xml
pycsp3/problems/tests/xcsp/cop/complex/Bugs_example.xml
pycsp3/problems/tests/xcsp/cop/complex/BusScheduling_c1a.xml
pycsp3/problems/tests/xcsp/cop/complex/BusScheduling_r1.xml
pycsp3/problems/tests/xcsp/cop/complex/BusScheduling_t1.xml
pycsp3/problems/tests/xcsp/cop/complex/Coloring_rand1.xml
pycsp3/problems/tests/xcsp/cop/complex/Cutstock_small.xml
pycsp3/problems/tests/xcsp/cop/complex/Fapp-short_ex2.xml
pycsp3/problems/tests/xcsp/cop/complex/Fapp_ex2.xml.lzma
pycsp3/problems/tests/xcsp/cop/complex/Fastfood-table_ff01.xml
pycsp3/problems/tests/xcsp/cop/complex/Fastfood_example.xml
pycsp3/problems/tests/xcsp/cop/complex/Fastfood_ff01.xml
pycsp3/problems/tests/xcsp/cop/complex/GraphColoring-sum_1-fullins-3.xml
pycsp3/problems/tests/xcsp/cop/complex/GraphColoring-sum_qwhdec-o18-h120-1.xml
pycsp3/problems/tests/xcsp/cop/complex/GraphColoring_1-fullins-3.xml
pycsp3/problems/tests/xcsp/cop/complex/GraphColoring_qwhdec-o18-h120-1.xml
pycsp3/problems/tests/xcsp/cop/complex/GraphMaxAcyclic-cnt_example.xml
pycsp3/problems/tests/xcsp/cop/complex/GraphMaxAcyclic_example.xml
pycsp3/problems/tests/xcsp/cop/complex/HCPizza_small.xml
pycsp3/problems/tests/xcsp/cop/complex/HCPizza_tiny.xml
pycsp3/problems/tests/xcsp/cop/complex/Knapsack_20-50-00.xml
pycsp3/problems/tests/xcsp/cop/complex/League_010-03-04.xml
pycsp3/problems/tests/xcsp/cop/complex/LinearArrangement-MinLA01.xml
pycsp3/problems/tests/xcsp/cop/complex/Mario-aux_easy-2.xml
pycsp3/problems/tests/xcsp/cop/complex/Mario-table_easy-2.xml
pycsp3/problems/tests/xcsp/cop/complex/Mario_easy-2.xml
pycsp3/problems/tests/xcsp/cop/complex/MultiKnapsack_example.xml
pycsp3/problems/tests/xcsp/cop/complex/NurseRostering_00.xml
pycsp3/problems/tests/xcsp/cop/complex/NurseRostering_18.xml
pycsp3/problems/tests/xcsp/cop/complex/OpenStacks-m1_example.xml
pycsp3/problems/tests/xcsp/cop/complex/OpenStacks-m2_example.xml
pycsp3/problems/tests/xcsp/cop/complex/PizzaVoucher_pizza6.xml
pycsp3/problems/tests/xcsp/cop/complex/PrizeCollecting-table_example.xml
pycsp3/problems/tests/xcsp/cop/complex/PrizeCollecting_example.xml
pycsp3/problems/tests/xcsp/cop/complex/ProgressiveParty_example.xml
pycsp3/problems/tests/xcsp/cop/complex/PseudoBoolean_example.xml
pycsp3/problems/tests/xcsp/cop/complex/QuadraticAssignment_example.xml
pycsp3/problems/tests/xcsp/cop/complex/QuadraticAssignment_qap.xml
pycsp3/problems/tests/xcsp/cop/complex/Rack2-Rack_r2b.xml
pycsp3/problems/tests/xcsp/cop/complex/Rack_r2.xml
pycsp3/problems/tests/xcsp/cop/complex/Rcpsp_j30-01-01.xml
pycsp3/problems/tests/xcsp/cop/complex/Rehearsal-bisSmith.xml
pycsp3/problems/tests/xcsp/cop/complex/RehearsalSmith.xml
pycsp3/problems/tests/xcsp/cop/complex/Rlfap-card_card-scen-04.xml
pycsp3/problems/tests/xcsp/cop/complex/Rlfap-max_max-graph-05.xml
pycsp3/problems/tests/xcsp/cop/complex/Rlfap-span_span-scen-05.xml
pycsp3/problems/tests/xcsp/cop/complex/RoadConstruction-Road_9.xml
pycsp3/problems/tests/xcsp/cop/complex/SchedulingFS-Taillard-fs-020-05-1.xml
pycsp3/problems/tests/xcsp/cop/complex/SchedulingFS-Taillard-os-04-04-0.xml
pycsp3/problems/tests/xcsp/cop/complex/SchedulingJS-Sadeh-js-e0ddr1-0.xml
pycsp3/problems/tests/xcsp/cop/complex/SchedulingJS-Taillard-js-015-15-1.xml
pycsp3/problems/tests/xcsp/cop/complex/SchedulingOS-GP-os-01.xml
pycsp3/problems/tests/xcsp/cop/complex/SchedulingOS-Taillard-os-05-05-1.xml
pycsp3/problems/tests/xcsp/cop/complex/SetCovering-Subsets_example.xml
pycsp3/problems/tests/xcsp/cop/complex/SetPacking-Subsets_example.xml
pycsp3/problems/tests/xcsp/cop/complex/Sonet_sonet1.xml
pycsp3/problems/tests/xcsp/cop/complex/Sonet_sonet3-4.xml
pycsp3/problems/tests/xcsp/cop/complex/SteelMillSlab-01_bench_2_0.xml
pycsp3/problems/tests/xcsp/cop/complex/SteelMillSlab_bench_2_0.xml
pycsp3/problems/tests/xcsp/cop/complex/Tal-frobserved-7-15-11-13-9-1-11-7-4_1.xml
pycsp3/problems/tests/xcsp/cop/complex/TemplateDesign-aux_catfood_2.xml
pycsp3/problems/tests/xcsp/cop/complex/TemplateDesign_catfood_2.xml
pycsp3/problems/tests/xcsp/cop/complex/TravelingPurchaser-7-5-30-1.xml
pycsp3/problems/tests/xcsp/cop/complex/TravelingSalesman-table_10-20-0.xml
pycsp3/problems/tests/xcsp/cop/complex/TravelingSalesman_10-20-0.xml
pycsp3/problems/tests/xcsp/cop/complex/TravelingTournament-a2_galaxy04.xml
pycsp3/problems/tests/xcsp/cop/complex/TravelingTournament-a3_galaxy04.xml
pycsp3/problems/tests/xcsp/cop/complex/TravelingTournamentWithPredefinedVenues-a2-Ttppv_circ8bbal.xml
pycsp3/problems/tests/xcsp/cop/complex/TravelingTournamentWithPredefinedVenues-a3-Ttppv_circ8bbal.xml
pycsp3/problems/tests/xcsp/cop/complex/Vellino-5.xml
pycsp3/problems/tests/xcsp/cop/complex/Vrp_P-n16-k8.xml
pycsp3/problems/tests/xcsp/cop/complex/Warehouse-compact_example.xml
pycsp3/problems/tests/xcsp/cop/complex/Warehouse_example.xml
pycsp3/problems/tests/xcsp/cop/single/DakotaFurniture.xml
pycsp3/problems/tests/xcsp/cop/single/Photo-aux.xml
pycsp3/problems/tests/xcsp/cop/single/Photo.xml
pycsp3/problems/tests/xcsp/cop/single/Recipe.xml
pycsp3/problems/tests/xcsp/cop/single/Witch.xml
pycsp3/problems/tests/xcsp/csp/academic/AllInterval-10.xml
pycsp3/problems/tests/xcsp/csp/academic/AllInterval-aux-10.xml
pycsp3/problems/tests/xcsp/csp/academic/Bibd-6-0-0-3-8.xml
pycsp3/problems/tests/xcsp/csp/academic/Bibd-aux-6-0-0-3-8.xml
pycsp3/problems/tests/xcsp/csp/academic/ColouredQueens-6.xml
pycsp3/problems/tests/xcsp/csp/academic/CostasArray-10.xml
pycsp3/problems/tests/xcsp/csp/academic/CoveringArray-3-5-2-10.xml
pycsp3/problems/tests/xcsp/csp/academic/CryptoPuzzle-DONALD-GERALD-ROBERT.xml
pycsp3/problems/tests/xcsp/csp/academic/CryptoPuzzle-SEND-MORE-MONEY.xml
pycsp3/problems/tests/xcsp/csp/academic/CryptoPuzzle-carry-SEND-MORE-MONEY.xml
pycsp3/problems/tests/xcsp/csp/academic/DeBruijnSequence-2-5.xml
pycsp3/problems/tests/xcsp/csp/academic/DiamondFree-8.xml
pycsp3/problems/tests/xcsp/csp/academic/Domino-200-200.xml
pycsp3/problems/tests/xcsp/csp/academic/Domino-table-200-200.xml
pycsp3/problems/tests/xcsp/csp/academic/Dubois-10.xml
pycsp3/problems/tests/xcsp/csp/academic/Enigme5-364-55440.xml.lzma
pycsp3/problems/tests/xcsp/csp/academic/GracefulGraph-3-5.xml
pycsp3/problems/tests/xcsp/csp/academic/KnightTour-16.xml
pycsp3/problems/tests/xcsp/csp/academic/KnightTour-table-2-16.xml
pycsp3/problems/tests/xcsp/csp/academic/KnightTour-table-3-16.xml
pycsp3/problems/tests/xcsp/csp/academic/Langford-3-10.xml
pycsp3/problems/tests/xcsp/csp/academic/LangfordBin-8.xml
pycsp3/problems/tests/xcsp/csp/academic/MagicHexagon-4-3.xml
pycsp3/problems/tests/xcsp/csp/academic/MagicSequence-10.xml
pycsp3/problems/tests/xcsp/csp/academic/NumberPartitioning-10.xml
pycsp3/problems/tests/xcsp/csp/academic/NumberPartitioning-8.xml
pycsp3/problems/tests/xcsp/csp/academic/Ortholatin-5.xml
pycsp3/problems/tests/xcsp/csp/academic/Pigeons-6.xml
pycsp3/problems/tests/xcsp/csp/academic/Pigeons-dec-6.xml
pycsp3/problems/tests/xcsp/csp/academic/PropStress-20.xml
pycsp3/problems/tests/xcsp/csp/academic/QuasiGroup-aux-v3-8.xml
pycsp3/problems/tests/xcsp/csp/academic/QuasiGroup-aux-v4-5.xml
pycsp3/problems/tests/xcsp/csp/academic/QuasiGroup-aux-v5-8.xml
pycsp3/problems/tests/xcsp/csp/academic/QuasiGroup-aux-v7-9.xml
pycsp3/problems/tests/xcsp/csp/academic/QuasiGroup-base-v3-8.xml
pycsp3/problems/tests/xcsp/csp/academic/QuasiGroup-base-v4-5.xml
pycsp3/problems/tests/xcsp/csp/academic/QuasiGroup-base-v5-8.xml
pycsp3/problems/tests/xcsp/csp/academic/QuasiGroup-base-v6-8.xml
pycsp3/problems/tests/xcsp/csp/academic/QuasiGroup-base-v7-9.xml
pycsp3/problems/tests/xcsp/csp/academic/Queens-10.xml
pycsp3/problems/tests/xcsp/csp/academic/Queens-v1-10.xml
pycsp3/problems/tests/xcsp/csp/academic/Queens-v2-10.xml
pycsp3/problems/tests/xcsp/csp/academic/QueensKnights-10-5.xml
pycsp3/problems/tests/xcsp/csp/academic/QueensKnights-6-4.xml
pycsp3/problems/tests/xcsp/csp/academic/SchurrLemma-6-6.xml
pycsp3/problems/tests/xcsp/csp/academic/SchurrLemma-mod-8-8.xml
pycsp3/problems/tests/xcsp/csp/academic/SocialGolfers-01-4-4-5.xml
pycsp3/problems/tests/xcsp/csp/academic/SocialGolfers-4-4-5.xml
pycsp3/problems/tests/xcsp/csp/academic/SportsScheduling-6.xml
pycsp3/problems/tests/xcsp/csp/academic/SportsScheduling-dummy-6.xml
pycsp3/problems/tests/xcsp/csp/academic/Steiner3-7.xml
pycsp3/problems/tests/xcsp/csp/academic/Superpermutation-3.xml
pycsp3/problems/tests/xcsp/csp/academic/Superpermutation-table-3.xml
pycsp3/problems/tests/xcsp/csp/academic/Talisman-4-2.xml
pycsp3/problems/tests/xcsp/csp/complex/Areas-3-3-3.xml
pycsp3/problems/tests/xcsp/csp/complex/Blackhole.xml
pycsp3/problems/tests/xcsp/csp/complex/CarSequencing-table_dingbas.xml
pycsp3/problems/tests/xcsp/csp/complex/CarSequencing_dingbas.xml
pycsp3/problems/tests/xcsp/csp/complex/Coloring-csp_rand1.xml
pycsp3/problems/tests/xcsp/csp/complex/Crossword-alt_h0504-lex.xml.lzma
pycsp3/problems/tests/xcsp/csp/complex/Crossword_h1501-lex.xml
pycsp3/problems/tests/xcsp/csp/complex/Crossword_vg6-7-ogd.xml
pycsp3/problems/tests/xcsp/csp/complex/Dominoes_grid1.xml
pycsp3/problems/tests/xcsp/csp/complex/Eternity_07x05.xml
pycsp3/problems/tests/xcsp/csp/complex/Eternity_example.xml
pycsp3/problems/tests/xcsp/csp/complex/Fillomino-01.xml
pycsp3/problems/tests/xcsp/csp/complex/Fillomino-08.xml
pycsp3/problems/tests/xcsp/csp/complex/Futoshiki_futo3_0.xml
pycsp3/problems/tests/xcsp/csp/complex/Kakuro-table_easy-000.xml
pycsp3/problems/tests/xcsp/csp/complex/Kakuro_easy-000.xml
pycsp3/problems/tests/xcsp/csp/complex/LatinSquare2_7-2-0.xml
pycsp3/problems/tests/xcsp/csp/complex/LatinSquare_qwh-o030-h320.xml
pycsp3/problems/tests/xcsp/csp/complex/Layout_example.xml
pycsp3/problems/tests/xcsp/csp/complex/Lightup_example.xml
pycsp3/problems/tests/xcsp/csp/complex/Lits-example.xml
pycsp3/problems/tests/xcsp/csp/complex/MagicSquare-4-None.xml
pycsp3/problems/tests/xcsp/csp/complex/MagicSquare_example1.xml
pycsp3/problems/tests/xcsp/csp/complex/MarketSplit_04.xml
pycsp3/problems/tests/xcsp/csp/complex/MineSweeper.xml
pycsp3/problems/tests/xcsp/csp/complex/MisteryShopper_04.xml
pycsp3/problems/tests/xcsp/csp/complex/Nonogram-table_example.xml
pycsp3/problems/tests/xcsp/csp/complex/Nonogram_example.xml
pycsp3/problems/tests/xcsp/csp/complex/RadarSurveillance_8-24-3-2-00.xml
pycsp3/problems/tests/xcsp/csp/complex/RectPacking_perfect-001.xml
pycsp3/problems/tests/xcsp/csp/complex/RoomMate_sr0006.xml
pycsp3/problems/tests/xcsp/csp/complex/Sat-clause_flat30-16.xml
pycsp3/problems/tests/xcsp/csp/complex/Sat-dual_flat30-16.xml
pycsp3/problems/tests/xcsp/csp/complex/Sat-sum_flat30-16.xml
pycsp3/problems/tests/xcsp/csp/complex/Shikaku_grid1.xml
pycsp3/problems/tests/xcsp/csp/complex/SolitaireBattleship-battleship_instances-00113.xml
pycsp3/problems/tests/xcsp/csp/complex/SolitaireBattleship_sb-12-12-5-0.xml
pycsp3/problems/tests/xcsp/csp/complex/Spiral-table.xml
pycsp3/problems/tests/xcsp/csp/complex/Spiral.xml
pycsp3/problems/tests/xcsp/csp/complex/StableMarriage-example.xml
pycsp3/problems/tests/xcsp/csp/complex/StripPacking_C1P1.xml
pycsp3/problems/tests/xcsp/csp/complex/Subisomorphism_A-01.xml
pycsp3/problems/tests/xcsp/csp/complex/Sudoku-9-None.xml
pycsp3/problems/tests/xcsp/csp/complex/Sudoku-table_s13a.xml.lzma
pycsp3/problems/tests/xcsp/csp/complex/Sudoku_example.xml
pycsp3/problems/tests/xcsp/csp/complex/Sudoku_s13a.xml
pycsp3/problems/tests/xcsp/csp/complex/Survo-01.xml
pycsp3/problems/tests/xcsp/csp/complex/VesselLoading-inst1.xml
pycsp3/problems/tests/xcsp/csp/complex/VesselLoading-inst2.xml
pycsp3/problems/tests/xcsp/csp/complex/Wwtpp-short_ex04400.xml
pycsp3/problems/tests/xcsp/csp/complex/Wwtpp_ex04400.xml
pycsp3/problems/tests/xcsp/csp/single/Abbots.xml
pycsp3/problems/tests/xcsp/csp/single/Agatha.xml
pycsp3/problems/tests/xcsp/csp/single/Allergy.xml
pycsp3/problems/tests/xcsp/csp/single/Alpha-var.xml
pycsp3/problems/tests/xcsp/csp/single/Alpha.xml
pycsp3/problems/tests/xcsp/csp/single/Dimes.xml
pycsp3/problems/tests/xcsp/csp/single/Dinner.xml
pycsp3/problems/tests/xcsp/csp/single/Dudeney.xml
pycsp3/problems/tests/xcsp/csp/single/Grocery.xml
pycsp3/problems/tests/xcsp/csp/single/LabeledDice.xml
pycsp3/problems/tests/xcsp/csp/single/MagicModuloNumber.xml
pycsp3/problems/tests/xcsp/csp/single/NFractions.xml
pycsp3/problems/tests/xcsp/csp/single/Picnic.xml
pycsp3/problems/tests/xcsp/csp/single/PrimeLooking.xml
pycsp3/problems/tests/xcsp/csp/single/Purdey.xml
pycsp3/problems/tests/xcsp/csp/single/Riddle-v1.xml
pycsp3/problems/tests/xcsp/csp/single/Riddle-v2.xml
pycsp3/problems/tests/xcsp/csp/single/Riddle-v3a.xml
pycsp3/problems/tests/xcsp/csp/single/Riddle-v3b.xml
pycsp3/problems/tests/xcsp/csp/single/Riddle-v4a.xml
pycsp3/problems/tests/xcsp/csp/single/Riddle-v4b.xml
pycsp3/problems/tests/xcsp/csp/single/Riddle-v5.xml
pycsp3/problems/tests/xcsp/csp/single/SafeCracking.xml
pycsp3/problems/tests/xcsp/csp/single/Sandwich.xml
pycsp3/problems/tests/xcsp/csp/single/SendMore.xml
pycsp3/problems/tests/xcsp/csp/single/SimpleColoring.xml
pycsp3/problems/tests/xcsp/csp/single/Square.xml
pycsp3/problems/tests/xcsp/csp/single/SuperNumber-rules.xml
pycsp3/problems/tests/xcsp/csp/single/SuperNumber.xml
pycsp3/problems/tests/xcsp/csp/single/TrafficLights.xml
pycsp3/problems/tests/xcsp/csp/single/TravelingWorld-integer.xml
pycsp3/problems/tests/xcsp/csp/single/TravelingWorld.xml
pycsp3/problems/tests/xcsp/csp/single/Zebra.xml
pycsp3/solvers/__init__.py
pycsp3/solvers/solver.py
pycsp3/solvers/ace/__init__.py
pycsp3/solvers/ace/ace.py
pycsp3/solvers/choco/__init__.py
pycsp3/solvers/choco/choco.py
pycsp3/solvers/external/__init__.py
pycsp3/solvers/external/external.py
pycsp3/tools/__init__.py
pycsp3/tools/aggregator.py
pycsp3/tools/compactor.py
pycsp3/tools/curser.py
pycsp3/tools/inspector.py
pycsp3/tools/slider.py
pycsp3/tools/utilities.py
pycsp3/tools/xcsp.py