MANIFEST.in
README.md
setup.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/WaterBucket.py
pycsp3/problems/cop/real/AircraftLanding.py
pycsp3/problems/cop/real/Amaze.py
pycsp3/problems/cop/real/Auction.py
pycsp3/problems/cop/real/Bacp.py
pycsp3/problems/cop/real/BinPacking.py
pycsp3/problems/cop/real/Bugs.py
pycsp3/problems/cop/real/BusScheduling.py
pycsp3/problems/cop/real/Coloring.py
pycsp3/problems/cop/real/Cutstock.py
pycsp3/problems/cop/real/Diagnosis.py
pycsp3/problems/cop/real/Fapp.py
pycsp3/problems/cop/real/Fastfood.py
pycsp3/problems/cop/real/GraphColoring.py
pycsp3/problems/cop/real/GraphMaxAcyclic.py
pycsp3/problems/cop/real/HCPizza.py
pycsp3/problems/cop/real/Knapsack.py
pycsp3/problems/cop/real/League.py
pycsp3/problems/cop/real/LinearArrangement.py
pycsp3/problems/cop/real/Mario.py
pycsp3/problems/cop/real/MultiKnapsack.py
pycsp3/problems/cop/real/NurseRostering.py
pycsp3/problems/cop/real/OncallRostering.py
pycsp3/problems/cop/real/OpenStacks.py
pycsp3/problems/cop/real/PizzaVoucher.py
pycsp3/problems/cop/real/PrizeCollecting.py
pycsp3/problems/cop/real/ProgressiveParty.py
pycsp3/problems/cop/real/PseudoBoolean.py
pycsp3/problems/cop/real/QuadraticAssignment.py
pycsp3/problems/cop/real/Rack.py
pycsp3/problems/cop/real/Rack2.py
pycsp3/problems/cop/real/Radiation.py
pycsp3/problems/cop/real/Rcpsp.py
pycsp3/problems/cop/real/Rehearsal.py
pycsp3/problems/cop/real/Rlfap.py
pycsp3/problems/cop/real/RoadConstruction.py
pycsp3/problems/cop/real/SchedulingFS.py
pycsp3/problems/cop/real/SchedulingJS.py
pycsp3/problems/cop/real/SchedulingOS.py
pycsp3/problems/cop/real/SetCovering.py
pycsp3/problems/cop/real/SetPacking.py
pycsp3/problems/cop/real/Sonet.py
pycsp3/problems/cop/real/SteelMillSlab.py
pycsp3/problems/cop/real/Tal.py
pycsp3/problems/cop/real/TemplateDesign.py
pycsp3/problems/cop/real/TrainSchedule.py
pycsp3/problems/cop/real/TravelingPurchaser.py
pycsp3/problems/cop/real/TravelingSalesman.py
pycsp3/problems/cop/real/TravelingTournament.py
pycsp3/problems/cop/real/TravelingTournamentWithPredefinedVenues.py
pycsp3/problems/cop/real/Vellino.py
pycsp3/problems/cop/real/Vrp.py
pycsp3/problems/cop/real/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/real/Areas.py
pycsp3/problems/csp/real/Blackhole.py
pycsp3/problems/csp/real/CarSequencing.py
pycsp3/problems/csp/real/Coloring.py
pycsp3/problems/csp/real/Crossword.py
pycsp3/problems/csp/real/Dominoes.py
pycsp3/problems/csp/real/Eternity.py
pycsp3/problems/csp/real/Fillomino.py
pycsp3/problems/csp/real/Futoshiki.py
pycsp3/problems/csp/real/Kakuro.py
pycsp3/problems/csp/real/LatinSquare.py
pycsp3/problems/csp/real/LatinSquare2.py
pycsp3/problems/csp/real/Layout.py
pycsp3/problems/csp/real/Lightup.py
pycsp3/problems/csp/real/Lits.py
pycsp3/problems/csp/real/MagicSquare.py
pycsp3/problems/csp/real/MarketSplit.py
pycsp3/problems/csp/real/MineSweeper.py
pycsp3/problems/csp/real/MisteryShopper.py
pycsp3/problems/csp/real/Nonogram.py
pycsp3/problems/csp/real/RadarSurveillance.py
pycsp3/problems/csp/real/RectPacking.py
pycsp3/problems/csp/real/RoomMate.py
pycsp3/problems/csp/real/Sat.py
pycsp3/problems/csp/real/Shikaku.py
pycsp3/problems/csp/real/SolitaireBattleship.py
pycsp3/problems/csp/real/Spiral.py
pycsp3/problems/csp/real/StableMarriage.py
pycsp3/problems/csp/real/StripPacking.py
pycsp3/problems/csp/real/Subisomorphism.py
pycsp3/problems/csp/real/Sudoku.py
pycsp3/problems/csp/real/Survo.py
pycsp3/problems/csp/real/VesselLoading.py
pycsp3/problems/csp/real/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/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/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_acad.py
pycsp3/problems/tests/cop_real.py
pycsp3/problems/tests/cop_single.py
pycsp3/problems/tests/csp_acad.py
pycsp3/problems/tests/csp_real.py
pycsp3/problems/tests/csp_single.py
pycsp3/problems/tests/tester.py
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/real/AircraftLanding-airland01.xml
pycsp3/problems/tests/xcsp/cop/real/AircraftLanding-table-airland01.xml
pycsp3/problems/tests/xcsp/cop/real/Amaze-Amaze_2012-03-07.xml
pycsp3/problems/tests/xcsp/cop/real/Amaze-Amaze_simple.xml
pycsp3/problems/tests/xcsp/cop/real/Auction-Auction_example.xml
pycsp3/problems/tests/xcsp/cop/real/Bacp-m1-Bacp_10.xml
pycsp3/problems/tests/xcsp/cop/real/Bacp-m1-d-Bacp_10.xml
pycsp3/problems/tests/xcsp/cop/real/Bacp-m2-Bacp_10.xml
pycsp3/problems/tests/xcsp/cop/real/Bacp-m2-d-Bacp_10.xml
pycsp3/problems/tests/xcsp/cop/real/BinPacking-BinPacking_example.xml
pycsp3/problems/tests/xcsp/cop/real/BinPacking-BinPacking_n1c1w4a.xml
pycsp3/problems/tests/xcsp/cop/real/BinPacking-table-BinPacking_n1c1w4a.xml
pycsp3/problems/tests/xcsp/cop/real/Bugs-Bugs_example.xml
pycsp3/problems/tests/xcsp/cop/real/BusScheduling-BusScheduling_c1a.xml
pycsp3/problems/tests/xcsp/cop/real/BusScheduling-BusScheduling_r1.xml
pycsp3/problems/tests/xcsp/cop/real/BusScheduling-BusScheduling_t1.xml
pycsp3/problems/tests/xcsp/cop/real/Coloring-Coloring_rand1.xml
pycsp3/problems/tests/xcsp/cop/real/Cutstock-Cutstock_small.xml
pycsp3/problems/tests/xcsp/cop/real/Fapp-Fapp_ex2.xml
pycsp3/problems/tests/xcsp/cop/real/Fapp-short-Fapp_ex2.xml
pycsp3/problems/tests/xcsp/cop/real/Fastfood-Fastfood_example.xml
pycsp3/problems/tests/xcsp/cop/real/Fastfood-Fastfood_ff01.xml
pycsp3/problems/tests/xcsp/cop/real/Fastfood-table-Fastfood_ff01.xml
pycsp3/problems/tests/xcsp/cop/real/GraphColoring-GraphColoring_1-fullins-3.xml
pycsp3/problems/tests/xcsp/cop/real/GraphColoring-GraphColoring_qwhdec-o18-h120-1.xml
pycsp3/problems/tests/xcsp/cop/real/GraphColoring-sum-GraphColoring_1-fullins-3.xml
pycsp3/problems/tests/xcsp/cop/real/GraphColoring-sum-GraphColoring_qwhdec-o18-h120-1.xml
pycsp3/problems/tests/xcsp/cop/real/GraphMaxAcyclic-GraphMaxAcyclic_example.xml
pycsp3/problems/tests/xcsp/cop/real/GraphMaxAcyclic-cnt-GraphMaxAcyclic_example.xml
pycsp3/problems/tests/xcsp/cop/real/HCPizza-HCPizza_small.xml
pycsp3/problems/tests/xcsp/cop/real/HCPizza-HCPizza_tiny.xml
pycsp3/problems/tests/xcsp/cop/real/Knapsack-Knapsack_20-50-00.xml
pycsp3/problems/tests/xcsp/cop/real/League-League_010-03-04.xml
pycsp3/problems/tests/xcsp/cop/real/LinearArrangement-MinLA01.xml
pycsp3/problems/tests/xcsp/cop/real/Mario-Mario_easy-2.xml
pycsp3/problems/tests/xcsp/cop/real/Mario-aux-Mario_easy-2.xml
pycsp3/problems/tests/xcsp/cop/real/Mario-table-Mario_easy-2.xml
pycsp3/problems/tests/xcsp/cop/real/MultiKnapsack-MultiKnapsack_example.xml
pycsp3/problems/tests/xcsp/cop/real/NurseRostering-NurseRostering_00.xml
pycsp3/problems/tests/xcsp/cop/real/NurseRostering-NurseRostering_18.xml
pycsp3/problems/tests/xcsp/cop/real/OpenStacks-m1-OpenStacks_example.xml
pycsp3/problems/tests/xcsp/cop/real/OpenStacks-m2-OpenStacks_example.xml
pycsp3/problems/tests/xcsp/cop/real/PizzaVoucher-PizzaVoucher_pizza6.xml
pycsp3/problems/tests/xcsp/cop/real/PrizeCollecting-PrizeCollecting_example.xml
pycsp3/problems/tests/xcsp/cop/real/PrizeCollecting-table-PrizeCollecting_example.xml
pycsp3/problems/tests/xcsp/cop/real/ProgressiveParty-ProgressiveParty_example.xml
pycsp3/problems/tests/xcsp/cop/real/PseudoBoolean-PseudoBoolean_example.xml
pycsp3/problems/tests/xcsp/cop/real/QuadraticAssignment-QuadraticAssignment_example.xml
pycsp3/problems/tests/xcsp/cop/real/QuadraticAssignment-QuadraticAssignment_qap.xml
pycsp3/problems/tests/xcsp/cop/real/Rack-Rack_r2.xml
pycsp3/problems/tests/xcsp/cop/real/Rack2-Rack_r2b.xml
pycsp3/problems/tests/xcsp/cop/real/Rcpsp-Rcpsp_j30-01-01.xml
pycsp3/problems/tests/xcsp/cop/real/Rehearsal-RehearsalSmith.xml
pycsp3/problems/tests/xcsp/cop/real/Rehearsal-bis-RehearsalSmith.xml
pycsp3/problems/tests/xcsp/cop/real/Rlfap-card-Rlfap_card-scen-04.xml
pycsp3/problems/tests/xcsp/cop/real/Rlfap-max-Rlfap_max-graph-05.xml
pycsp3/problems/tests/xcsp/cop/real/Rlfap-span-Rlfap_span-scen-05.xml
pycsp3/problems/tests/xcsp/cop/real/RoadConstruction-Road_9.xml
pycsp3/problems/tests/xcsp/cop/real/SchedulingFS-SchedulingFS-Taillard-os-04-04-0.xml
pycsp3/problems/tests/xcsp/cop/real/SchedulingFS-Taillard-fs-020-05-1.xml
pycsp3/problems/tests/xcsp/cop/real/SchedulingJS-Sadeh-js-e0ddr1-0.xml
pycsp3/problems/tests/xcsp/cop/real/SchedulingJS-Taillard-js-015-15-1.xml
pycsp3/problems/tests/xcsp/cop/real/SchedulingOS-GP-os-01.xml
pycsp3/problems/tests/xcsp/cop/real/SchedulingOS-Taillard-os-05-05-1.xml
pycsp3/problems/tests/xcsp/cop/real/SetCovering-Subsets_example.xml
pycsp3/problems/tests/xcsp/cop/real/SetPacking-Subsets_example.xml
pycsp3/problems/tests/xcsp/cop/real/Sonet-Sonet_sonet1.xml
pycsp3/problems/tests/xcsp/cop/real/Sonet-Sonet_sonet3-4.xml
pycsp3/problems/tests/xcsp/cop/real/SteelMillSlab-01-SteelMillSlab_bench_2_0.xml
pycsp3/problems/tests/xcsp/cop/real/SteelMillSlab-SteelMillSlab_bench_2_0.xml
pycsp3/problems/tests/xcsp/cop/real/Tal-Tal-frobserved-7-15-11-13-9-1-11-7-4_1.xml
pycsp3/problems/tests/xcsp/cop/real/TemplateDesign-TemplateDesign_catfood_2.xml
pycsp3/problems/tests/xcsp/cop/real/TemplateDesign-aux-TemplateDesign_catfood_2.xml
pycsp3/problems/tests/xcsp/cop/real/TravelingPurchaser-TravelingPurchaser-7-5-30-1.xml
pycsp3/problems/tests/xcsp/cop/real/TravelingSalesman-TravelingSalesman_10-20-0.xml
pycsp3/problems/tests/xcsp/cop/real/TravelingSalesman-table-TravelingSalesman_10-20-0.xml
pycsp3/problems/tests/xcsp/cop/real/TravelingTournament-a2-TravelingTournament_galaxy04.xml
pycsp3/problems/tests/xcsp/cop/real/TravelingTournament-a3-TravelingTournament_galaxy04.xml
pycsp3/problems/tests/xcsp/cop/real/TravelingTournamentWithPredefinedVenues-a2-Ttppv_circ8bbal.xml
pycsp3/problems/tests/xcsp/cop/real/TravelingTournamentWithPredefinedVenues-a3-Ttppv_circ8bbal.xml
pycsp3/problems/tests/xcsp/cop/real/Vellino-Vellino-5.xml
pycsp3/problems/tests/xcsp/cop/real/Vrp-Vrp_P-n16-k8.xml
pycsp3/problems/tests/xcsp/cop/real/Warehouse-Warehouse_example.xml
pycsp3/problems/tests/xcsp/cop/real/Warehouse-compact-Warehouse_example.xml
pycsp3/problems/tests/xcsp/cop/real/cop_real.py
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/real/Areas-Areas-3-3-3.xml
pycsp3/problems/tests/xcsp/csp/real/Blackhole-Blackhole.xml
pycsp3/problems/tests/xcsp/csp/real/CarSequencing-CarSequencing_dingbas.xml
pycsp3/problems/tests/xcsp/csp/real/CarSequencing-table-CarSequencing_dingbas.xml
pycsp3/problems/tests/xcsp/csp/real/Coloring-Coloring_rand1.xml
pycsp3/problems/tests/xcsp/csp/real/Coloring-csp-Coloring_rand1.xml
pycsp3/problems/tests/xcsp/csp/real/Crossword-Crossword_h1501-lex.xml
pycsp3/problems/tests/xcsp/csp/real/Crossword-Crossword_vg6-7-ogd.xml
pycsp3/problems/tests/xcsp/csp/real/Crossword-alt-Crossword_h0504-lex.xml
pycsp3/problems/tests/xcsp/csp/real/Dominoes-Dominoes_grid1.xml
pycsp3/problems/tests/xcsp/csp/real/Eternity-Eternity_07x05.xml
pycsp3/problems/tests/xcsp/csp/real/Eternity-Eternity_example.xml
pycsp3/problems/tests/xcsp/csp/real/Fillomino-Fillomino-01.xml
pycsp3/problems/tests/xcsp/csp/real/Fillomino-Fillomino-08.xml
pycsp3/problems/tests/xcsp/csp/real/Futoshiki-Futoshiki_futo3_0.xml
pycsp3/problems/tests/xcsp/csp/real/Kakuro-Kakuro_easy-000.xml
pycsp3/problems/tests/xcsp/csp/real/Kakuro-table-Kakuro_easy-000.xml
pycsp3/problems/tests/xcsp/csp/real/LatinSquare-LatinSquare_qwh-o030-h320.xml
pycsp3/problems/tests/xcsp/csp/real/LatinSquare2-LatinSquare2_7-2-0.xml
pycsp3/problems/tests/xcsp/csp/real/Layout-Layout_example.xml
pycsp3/problems/tests/xcsp/csp/real/Lightup-Lightup_example.xml
pycsp3/problems/tests/xcsp/csp/real/Lits-Lits-example.xml
pycsp3/problems/tests/xcsp/csp/real/MagicSquare-4-None.xml
pycsp3/problems/tests/xcsp/csp/real/MagicSquare-MagicSquare_example1.xml
pycsp3/problems/tests/xcsp/csp/real/MarketSplit-MarketSplit_04.xml
pycsp3/problems/tests/xcsp/csp/real/MineSweeper.xml
pycsp3/problems/tests/xcsp/csp/real/MisteryShopper-MisteryShopper_04.xml
pycsp3/problems/tests/xcsp/csp/real/Nonogram-Nonogram_example.xml
pycsp3/problems/tests/xcsp/csp/real/Nonogram-table-Nonogram_example.xml.lzma
pycsp3/problems/tests/xcsp/csp/real/RadarSurveillance-RadarSurveillance_8-24-3-2-00.xml
pycsp3/problems/tests/xcsp/csp/real/RectPacking-RectPacking_perfect-001.xml
pycsp3/problems/tests/xcsp/csp/real/RoomMate-RoomMate_sr0006.xml
pycsp3/problems/tests/xcsp/csp/real/Sat-clause-Sat_flat30-16.xml
pycsp3/problems/tests/xcsp/csp/real/Sat-dual-Sat_flat30-16.xml
pycsp3/problems/tests/xcsp/csp/real/Sat-sum-Sat_flat30-16.xml
pycsp3/problems/tests/xcsp/csp/real/Shikaku-Shikaku_grid1.xml
pycsp3/problems/tests/xcsp/csp/real/SolitaireBattleship-SolitaireBattleship-battleship_instances-00113.xml
pycsp3/problems/tests/xcsp/csp/real/SolitaireBattleship-SolitaireBattleship_sb-12-12-5-0.xml
pycsp3/problems/tests/xcsp/csp/real/Spiral-table.xml
pycsp3/problems/tests/xcsp/csp/real/Spiral.xml
pycsp3/problems/tests/xcsp/csp/real/StableMarriage-StableMarriage-example.xml
pycsp3/problems/tests/xcsp/csp/real/StripPacking-StripPacking_C1P1.xml
pycsp3/problems/tests/xcsp/csp/real/Subisomorphism-Subisomorphism_A-01.xml
pycsp3/problems/tests/xcsp/csp/real/Sudoku-9-None.xml
pycsp3/problems/tests/xcsp/csp/real/Sudoku-Sudoku_example.xml
pycsp3/problems/tests/xcsp/csp/real/Sudoku-Sudoku_s13a.xml
pycsp3/problems/tests/xcsp/csp/real/Sudoku-table-Sudoku_s13a.xml.lzma
pycsp3/problems/tests/xcsp/csp/real/Survo-Survo-01.xml
pycsp3/problems/tests/xcsp/csp/real/VesselLoading-VesselLoading-inst1.xml
pycsp3/problems/tests/xcsp/csp/real/VesselLoading-VesselLoading-inst2.xml
pycsp3/problems/tests/xcsp/csp/real/Wwtpp-Wwtpp_ex04400.xml
pycsp3/problems/tests/xcsp/csp/real/Wwtpp-short-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/abscon/ACE-21-05.jar
pycsp3/solvers/abscon/AcePy4J.class
pycsp3/solvers/abscon/AcePy4J.java
pycsp3/solvers/abscon/__init__.py
pycsp3/solvers/abscon/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