MANIFEST.in
README.md
setup.py
g7_todo/Molnar.py
g7_todo/Planeparking.py
g7_todo/PlaneparkingParser.py
g7_todo/TestSegmentedSum.py
g7_todo/Wsp.py
g7_todo/__init__.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/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/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/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/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/League_010-03-04.json
pycsp3/problems/data/json/Lightup_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/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/Rcpsp_j30-01-01.json
pycsp3/problems/data/json/RectPacking_perfect-001.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/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/SteelMillSlab_bench_2_0.json
pycsp3/problems/data/json/StripPacking_C1P1.json
pycsp3/problems/data/json/Subisomorphism_A-01.json
pycsp3/problems/data/json/Sudoku_s13a.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/VesselLoading-inst1.json
pycsp3/problems/data/json/VesselLoading-inst2.json
pycsp3/problems/data/json/Vrp_P-n16-k8.json
pycsp3/problems/data/json/Wwtpp_ex04400.json
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/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/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/Sudoku_Parser.py
pycsp3/problems/data/parsers/Warehouse_Parser.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/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/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/g0_school/Pic.py
pycsp3/problems/g0_school/Pic2.py
pycsp3/problems/g0_school/Riddle.py
pycsp3/problems/g0_school/Riddle2.py
pycsp3/problems/g0_school/Riddle3a.py
pycsp3/problems/g0_school/Riddle3b.py
pycsp3/problems/g0_school/Riddle4a.py
pycsp3/problems/g0_school/Riddle4b.py
pycsp3/problems/g0_school/Riddle5.py
pycsp3/problems/g0_school/SimpleColoring.py
pycsp3/problems/g0_school/__init__.py
pycsp3/problems/g1_single/Agatha.py
pycsp3/problems/g1_single/Allergy.py
pycsp3/problems/g1_single/Alpha.py
pycsp3/problems/g1_single/LabeledDice.py
pycsp3/problems/g1_single/NFractions.py
pycsp3/problems/g1_single/Photo.py
pycsp3/problems/g1_single/Picnic.py
pycsp3/problems/g1_single/Purdey.py
pycsp3/problems/g1_single/Recipe.py
pycsp3/problems/g1_single/Sandwich.py
pycsp3/problems/g1_single/SendMore.py
pycsp3/problems/g1_single/TrafficLights.py
pycsp3/problems/g1_single/Witch.py
pycsp3/problems/g1_single/Zebra.py
pycsp3/problems/g1_single/__init__.py
pycsp3/problems/g2_academic/AllInterval.py
pycsp3/problems/g2_academic/Bibd.py
pycsp3/problems/g2_academic/BoardColoration.py
pycsp3/problems/g2_academic/ChangeMaking.py
pycsp3/problems/g2_academic/CoinsGrid.py
pycsp3/problems/g2_academic/ColouredQueens.py
pycsp3/problems/g2_academic/CostasArray.py
pycsp3/problems/g2_academic/CoveringArray.py
pycsp3/problems/g2_academic/CryptoPuzzle.py
pycsp3/problems/g2_academic/DeBruijnSequence.py
pycsp3/problems/g2_academic/DiamondFree.py
pycsp3/problems/g2_academic/Dubois.py
pycsp3/problems/g2_academic/Enigme5.py
pycsp3/problems/g2_academic/GolombRuler.py
pycsp3/problems/g2_academic/GracefulGraph.py
pycsp3/problems/g2_academic/KnightTour.py
pycsp3/problems/g2_academic/Langford.py
pycsp3/problems/g2_academic/LangfordBin.py
pycsp3/problems/g2_academic/LowAutocorrelation.py
pycsp3/problems/g2_academic/MagicHexagon.py
pycsp3/problems/g2_academic/MagicSequence.py
pycsp3/problems/g2_academic/NumberPartitioning.py
pycsp3/problems/g2_academic/Opd.py
pycsp3/problems/g2_academic/Ortholatin.py
pycsp3/problems/g2_academic/PeacableArmies.py
pycsp3/problems/g2_academic/QuasiGroup.py
pycsp3/problems/g2_academic/QueenAttacking.py
pycsp3/problems/g2_academic/Queens.py
pycsp3/problems/g2_academic/Ramsey.py
pycsp3/problems/g2_academic/SchurrLemma.py
pycsp3/problems/g2_academic/SocialGolfers.py
pycsp3/problems/g2_academic/SportsScheduling.py
pycsp3/problems/g2_academic/Steiner3.py
pycsp3/problems/g2_academic/StillLife.py
pycsp3/problems/g2_academic/Talisman.py
pycsp3/problems/g2_academic/WaterBucket.py
pycsp3/problems/g2_academic/__init__.py
pycsp3/problems/g3_pattern/Amaze.py
pycsp3/problems/g3_pattern/Areas.py
pycsp3/problems/g3_pattern/Auction.py
pycsp3/problems/g3_pattern/BinPacking.py
pycsp3/problems/g3_pattern/Blackhole.py
pycsp3/problems/g3_pattern/Bugs.py
pycsp3/problems/g3_pattern/BusScheduling.py
pycsp3/problems/g3_pattern/Coloring.py
pycsp3/problems/g3_pattern/Cutstock.py
pycsp3/problems/g3_pattern/Dominoes.py
pycsp3/problems/g3_pattern/Eternity.py
pycsp3/problems/g3_pattern/Fastfood.py
pycsp3/problems/g3_pattern/Futoshiki.py
pycsp3/problems/g3_pattern/GraphColoring.py
pycsp3/problems/g3_pattern/GraphMaxAcyclic.py
pycsp3/problems/g3_pattern/HCPizza.py
pycsp3/problems/g3_pattern/Kakuro.py
pycsp3/problems/g3_pattern/Knapsack.py
pycsp3/problems/g3_pattern/LatinSquare.py
pycsp3/problems/g3_pattern/LatinSquare2.py
pycsp3/problems/g3_pattern/Lightup.py
pycsp3/problems/g3_pattern/LinearArrangement.py
pycsp3/problems/g3_pattern/MagicSquare.py
pycsp3/problems/g3_pattern/Mario.py
pycsp3/problems/g3_pattern/MarketSplit.py
pycsp3/problems/g3_pattern/MultiKnapsack.py
pycsp3/problems/g3_pattern/Nonogram.py
pycsp3/problems/g3_pattern/OpenStacks.py
pycsp3/problems/g3_pattern/PrizeCollecting.py
pycsp3/problems/g3_pattern/ProgressiveParty.py
pycsp3/problems/g3_pattern/PseudoBoolean.py
pycsp3/problems/g3_pattern/RectPacking.py
pycsp3/problems/g3_pattern/RoomMate.py
pycsp3/problems/g3_pattern/Sat.py
pycsp3/problems/g3_pattern/Shikaku.py
pycsp3/problems/g3_pattern/Sonet.py
pycsp3/problems/g3_pattern/Spiral.py
pycsp3/problems/g3_pattern/StripPacking.py
pycsp3/problems/g3_pattern/Subisomorphism.py
pycsp3/problems/g3_pattern/Sudoku.py
pycsp3/problems/g3_pattern/TravelingSalesman.py
pycsp3/problems/g3_pattern/VesselLoading.py
pycsp3/problems/g3_pattern/__init__.py
pycsp3/problems/g4_world/Bacp.py
pycsp3/problems/g4_world/CarSequencing.py
pycsp3/problems/g4_world/Crossword.py
pycsp3/problems/g4_world/Fapp.py
pycsp3/problems/g4_world/FappOld.py
pycsp3/problems/g4_world/League.py
pycsp3/problems/g4_world/MisteryShopper.py
pycsp3/problems/g4_world/NurseRostering.py
pycsp3/problems/g4_world/PizzaVoucher.py
pycsp3/problems/g4_world/QuadraticAssignment.py
pycsp3/problems/g4_world/Rack.py
pycsp3/problems/g4_world/Rack2.py
pycsp3/problems/g4_world/RadarSurveillance.py
pycsp3/problems/g4_world/Rcpsp.py
pycsp3/problems/g4_world/Rlfap.py
pycsp3/problems/g4_world/SchedulingFS.py
pycsp3/problems/g4_world/SchedulingJS.py
pycsp3/problems/g4_world/SchedulingOS.py
pycsp3/problems/g4_world/SolitaireBattleship.py
pycsp3/problems/g4_world/SteelMillSlab.py
pycsp3/problems/g4_world/Tal.py
pycsp3/problems/g4_world/TemplateDesign.py
pycsp3/problems/g4_world/TravelingPurchaser.py
pycsp3/problems/g4_world/TravelingTournament.py
pycsp3/problems/g4_world/TravelingTournamentWithPredefinedVenues.py
pycsp3/problems/g4_world/Vrp.py
pycsp3/problems/g4_world/Warehouse.py
pycsp3/problems/g4_world/Wwtpp.py
pycsp3/problems/g4_world/__init__.py
pycsp3/problems/g5_special/DistinctVectors.py
pycsp3/problems/g5_special/Domino.py
pycsp3/problems/g5_special/Hanoi.py
pycsp3/problems/g5_special/Knights.py
pycsp3/problems/g5_special/Pigeons.py
pycsp3/problems/g5_special/Pions.py
pycsp3/problems/g5_special/PropStress.py
pycsp3/problems/g5_special/QueensPions.py
pycsp3/problems/g5_special/__init__.py
pycsp3/problems/g6_testing/Sudoku9.py
pycsp3/problems/g6_testing/TestAbscon.py
pycsp3/problems/g6_testing/TestAbstractCondition.py
pycsp3/problems/g6_testing/TestChoco.py
pycsp3/problems/g6_testing/TestElement.py
pycsp3/problems/g6_testing/TestElementMatrix.py
pycsp3/problems/g6_testing/TestSlices.py
pycsp3/problems/g6_testing/TestSumConditions.py
pycsp3/problems/g6_testing/TestSums.py
pycsp3/problems/g6_testing/TestUnaryConditions.py
pycsp3/problems/g6_testing/UnitTestingExtension.py
pycsp3/problems/g6_testing/UnitTestingIntension.py
pycsp3/problems/g6_testing/UnitTestingSum.py
pycsp3/problems/g6_testing/UnitTestingVariable.py
pycsp3/problems/g6_testing/VarDeclarations.py
pycsp3/problems/tests/__init__.py
pycsp3/problems/tests/g0_school.py
pycsp3/problems/tests/g1_single.py
pycsp3/problems/tests/g2_academic.py
pycsp3/problems/tests/g3_pattern.py
pycsp3/problems/tests/g4_world.py
pycsp3/problems/tests/g5_special.py
pycsp3/problems/tests/g6_testing.py
pycsp3/problems/tests/g7_todo.py
pycsp3/problems/tests/tester.py
pycsp3/problems/tests/xcsp/g0_school/Pic.xml
pycsp3/problems/tests/xcsp/g0_school/Pic2.xml
pycsp3/problems/tests/xcsp/g0_school/Riddle.xml
pycsp3/problems/tests/xcsp/g0_school/Riddle2.xml
pycsp3/problems/tests/xcsp/g0_school/Riddle3a.xml
pycsp3/problems/tests/xcsp/g0_school/Riddle3b.xml
pycsp3/problems/tests/xcsp/g0_school/Riddle4a.xml
pycsp3/problems/tests/xcsp/g0_school/Riddle4b.xml
pycsp3/problems/tests/xcsp/g0_school/Riddle5.xml
pycsp3/problems/tests/xcsp/g0_school/SimpleColoring.xml
pycsp3/problems/tests/xcsp/g1_single/Agatha.xml
pycsp3/problems/tests/xcsp/g1_single/Allergy.xml
pycsp3/problems/tests/xcsp/g1_single/Alpha-var.xml
pycsp3/problems/tests/xcsp/g1_single/Alpha.xml
pycsp3/problems/tests/xcsp/g1_single/LabeledDice.xml
pycsp3/problems/tests/xcsp/g1_single/NFractions.xml
pycsp3/problems/tests/xcsp/g1_single/Photo-aux.xml
pycsp3/problems/tests/xcsp/g1_single/Photo.xml
pycsp3/problems/tests/xcsp/g1_single/Picnic.xml
pycsp3/problems/tests/xcsp/g1_single/Purdey.xml
pycsp3/problems/tests/xcsp/g1_single/Recipe.xml
pycsp3/problems/tests/xcsp/g1_single/Sandwich.xml
pycsp3/problems/tests/xcsp/g1_single/SendMore.xml
pycsp3/problems/tests/xcsp/g1_single/TrafficLights.xml
pycsp3/problems/tests/xcsp/g1_single/Witch.xml
pycsp3/problems/tests/xcsp/g1_single/Zebra.xml
pycsp3/problems/tests/xcsp/g2_academic/AllInterval-10.xml
pycsp3/problems/tests/xcsp/g2_academic/AllInterval-aux-10.xml
pycsp3/problems/tests/xcsp/g2_academic/Bibd-6-0-0-3-8.xml
pycsp3/problems/tests/xcsp/g2_academic/Bibd-aux-6-0-0-3-8.xml
pycsp3/problems/tests/xcsp/g2_academic/BoardColoration-8-10.xml
pycsp3/problems/tests/xcsp/g2_academic/ChangeMaking-10.xml
pycsp3/problems/tests/xcsp/g2_academic/ChangeMaking-compact-10.xml
pycsp3/problems/tests/xcsp/g2_academic/CoinsGrid-10-4.xml
pycsp3/problems/tests/xcsp/g2_academic/ColouredQueens-6.xml
pycsp3/problems/tests/xcsp/g2_academic/CostasArray-10.xml
pycsp3/problems/tests/xcsp/g2_academic/CoveringArray-3-5-2-10.xml
pycsp3/problems/tests/xcsp/g2_academic/CryptoPuzzle-DONALD-GERALD-ROBERT.xml
pycsp3/problems/tests/xcsp/g2_academic/CryptoPuzzle-SEND-MORE-MONEY.xml
pycsp3/problems/tests/xcsp/g2_academic/CryptoPuzzle-carry-SEND-MORE-MONEY.xml
pycsp3/problems/tests/xcsp/g2_academic/DeBruijnSequence-2-5.xml
pycsp3/problems/tests/xcsp/g2_academic/DiamondFree-8.xml
pycsp3/problems/tests/xcsp/g2_academic/Dubois-10.xml
pycsp3/problems/tests/xcsp/g2_academic/Enigme5-364-55440.xml.lzma
pycsp3/problems/tests/xcsp/g2_academic/GolombRuler-8.xml
pycsp3/problems/tests/xcsp/g2_academic/GolombRuler-aux-8.xml
pycsp3/problems/tests/xcsp/g2_academic/GolombRuler-dec-8.xml
pycsp3/problems/tests/xcsp/g2_academic/GracefulGraph-3-5.xml
pycsp3/problems/tests/xcsp/g2_academic/KnightTour-16.xml
pycsp3/problems/tests/xcsp/g2_academic/KnightTour-table-2-16.xml
pycsp3/problems/tests/xcsp/g2_academic/KnightTour-table-3-16.xml
pycsp3/problems/tests/xcsp/g2_academic/Langford-3-10.xml
pycsp3/problems/tests/xcsp/g2_academic/LangfordBin-8.xml
pycsp3/problems/tests/xcsp/g2_academic/LowAutocorrelation-16.xml
pycsp3/problems/tests/xcsp/g2_academic/MagicHexagon-4-3.xml
pycsp3/problems/tests/xcsp/g2_academic/MagicSequence-10.xml
pycsp3/problems/tests/xcsp/g2_academic/NumberPartitioning-10.xml
pycsp3/problems/tests/xcsp/g2_academic/NumberPartitioning-8.xml
pycsp3/problems/tests/xcsp/g2_academic/Opd-4-4-4.xml
pycsp3/problems/tests/xcsp/g2_academic/Opd-aux-4-6-4.xml
pycsp3/problems/tests/xcsp/g2_academic/Ortholatin-5.xml
pycsp3/problems/tests/xcsp/g2_academic/PeacableArmies-m1-6.xml
pycsp3/problems/tests/xcsp/g2_academic/PeacableArmies-m2-6.xml
pycsp3/problems/tests/xcsp/g2_academic/QuasiGroup-aux-v3-8.xml
pycsp3/problems/tests/xcsp/g2_academic/QuasiGroup-aux-v4-5.xml
pycsp3/problems/tests/xcsp/g2_academic/QuasiGroup-aux-v5-8.xml
pycsp3/problems/tests/xcsp/g2_academic/QuasiGroup-aux-v7-9.xml
pycsp3/problems/tests/xcsp/g2_academic/QuasiGroup-base-v3-8.xml
pycsp3/problems/tests/xcsp/g2_academic/QuasiGroup-base-v4-5.xml
pycsp3/problems/tests/xcsp/g2_academic/QuasiGroup-base-v5-8.xml
pycsp3/problems/tests/xcsp/g2_academic/QuasiGroup-base-v6-8.xml
pycsp3/problems/tests/xcsp/g2_academic/QuasiGroup-base-v7-9.xml
pycsp3/problems/tests/xcsp/g2_academic/QueenAttacking-6.xml
pycsp3/problems/tests/xcsp/g2_academic/QueenAttacking-aux-6.xml
pycsp3/problems/tests/xcsp/g2_academic/QueenAttacking-hybrid-6.xml
pycsp3/problems/tests/xcsp/g2_academic/QueenAttacking-table-6.xml
pycsp3/problems/tests/xcsp/g2_academic/Queens-10.xml
pycsp3/problems/tests/xcsp/g2_academic/Queens-v1-10.xml
pycsp3/problems/tests/xcsp/g2_academic/Queens-v2-10.xml
pycsp3/problems/tests/xcsp/g2_academic/Ramsey-10.xml
pycsp3/problems/tests/xcsp/g2_academic/SchurrLemma-6-6.xml
pycsp3/problems/tests/xcsp/g2_academic/SchurrLemma-mod-8-8.xml
pycsp3/problems/tests/xcsp/g2_academic/SocialGolfers-01-4-4-5.xml
pycsp3/problems/tests/xcsp/g2_academic/SocialGolfers-4-4-5.xml
pycsp3/problems/tests/xcsp/g2_academic/SportsScheduling-6.xml
pycsp3/problems/tests/xcsp/g2_academic/SportsScheduling-dummy-6.xml
pycsp3/problems/tests/xcsp/g2_academic/Steiner3-7.xml
pycsp3/problems/tests/xcsp/g2_academic/StillLife-7-7.xml
pycsp3/problems/tests/xcsp/g2_academic/StillLife-wastage-8-8.xml
pycsp3/problems/tests/xcsp/g2_academic/Talisman-4-2.xml
pycsp3/problems/tests/xcsp/g2_academic/WaterBucket-8-5-3-4-4-0-8.xml
pycsp3/problems/tests/xcsp/g3_pattern/Amaze-Amaze_2012-03-07.xml
pycsp3/problems/tests/xcsp/g3_pattern/Amaze-Amaze_simple.xml
pycsp3/problems/tests/xcsp/g3_pattern/Areas-Areas-3-3-3.xml
pycsp3/problems/tests/xcsp/g3_pattern/Auction-Auction_example.xml
pycsp3/problems/tests/xcsp/g3_pattern/BinPacking-BinPacking_example.xml
pycsp3/problems/tests/xcsp/g3_pattern/BinPacking-BinPacking_n1c1w4a.xml
pycsp3/problems/tests/xcsp/g3_pattern/BinPacking-table-BinPacking_n1c1w4a.xml
pycsp3/problems/tests/xcsp/g3_pattern/Blackhole-Blackhole.xml
pycsp3/problems/tests/xcsp/g3_pattern/Bugs-Bugs_example.xml
pycsp3/problems/tests/xcsp/g3_pattern/BusScheduling-BusScheduling_c1a.xml
pycsp3/problems/tests/xcsp/g3_pattern/BusScheduling-BusScheduling_r1.xml
pycsp3/problems/tests/xcsp/g3_pattern/BusScheduling-BusScheduling_t1.xml
pycsp3/problems/tests/xcsp/g3_pattern/Coloring-Coloring_rand1.xml
pycsp3/problems/tests/xcsp/g3_pattern/Coloring-csp-Coloring_rand1.xml
pycsp3/problems/tests/xcsp/g3_pattern/Cutstock-Cutstock_small.xml
pycsp3/problems/tests/xcsp/g3_pattern/Dominoes-Dominoes_grid1.xml
pycsp3/problems/tests/xcsp/g3_pattern/Eternity-Eternity_07x05.xml
pycsp3/problems/tests/xcsp/g3_pattern/Eternity-Eternity_example.xml
pycsp3/problems/tests/xcsp/g3_pattern/Fastfood-Fastfood_example.xml
pycsp3/problems/tests/xcsp/g3_pattern/Fastfood-Fastfood_ff01.xml
pycsp3/problems/tests/xcsp/g3_pattern/Fastfood-table-Fastfood_ff01.xml
pycsp3/problems/tests/xcsp/g3_pattern/Futoshiki-Futoshiki_futo3_0.xml
pycsp3/problems/tests/xcsp/g3_pattern/GraphColoring-GraphColoring_1-fullins-3.xml
pycsp3/problems/tests/xcsp/g3_pattern/GraphColoring-GraphColoring_qwhdec-o18-h120-1.xml
pycsp3/problems/tests/xcsp/g3_pattern/GraphColoring-sum-GraphColoring_1-fullins-3.xml
pycsp3/problems/tests/xcsp/g3_pattern/GraphColoring-sum-GraphColoring_qwhdec-o18-h120-1.xml
pycsp3/problems/tests/xcsp/g3_pattern/GraphMaxAcyclic-GraphMaxAcyclic_example.xml
pycsp3/problems/tests/xcsp/g3_pattern/GraphMaxAcyclic-cnt-GraphMaxAcyclic_example.xml
pycsp3/problems/tests/xcsp/g3_pattern/HCPizza-HCPizza_small.xml
pycsp3/problems/tests/xcsp/g3_pattern/HCPizza-HCPizza_tiny.xml
pycsp3/problems/tests/xcsp/g3_pattern/Kakuro-Kakuro_easy-000.xml
pycsp3/problems/tests/xcsp/g3_pattern/Kakuro-table-Kakuro_easy-000.xml
pycsp3/problems/tests/xcsp/g3_pattern/Knapsack-Knapsack_20-50-00.xml
pycsp3/problems/tests/xcsp/g3_pattern/LatinSquare-LatinSquare_qwh-o030-h320.xml
pycsp3/problems/tests/xcsp/g3_pattern/LatinSquare2-LatinSquare2_7-2-0.xml
pycsp3/problems/tests/xcsp/g3_pattern/LatinSquareB-LatinSquareB_7-2-0.xml
pycsp3/problems/tests/xcsp/g3_pattern/Lightup-Lightup_example.xml
pycsp3/problems/tests/xcsp/g3_pattern/LinearArrangement-MinLA01.xml
pycsp3/problems/tests/xcsp/g3_pattern/MagicSquare-4-None.xml
pycsp3/problems/tests/xcsp/g3_pattern/MagicSquare-MagicSquare_example1.xml
pycsp3/problems/tests/xcsp/g3_pattern/Mario-Mario_easy-2.xml
pycsp3/problems/tests/xcsp/g3_pattern/Mario-table-Mario_easy-2.xml
pycsp3/problems/tests/xcsp/g3_pattern/MarketSplit-MarketSplit_04.xml
pycsp3/problems/tests/xcsp/g3_pattern/MultiKnapsack-MultiKnapsack_example.xml
pycsp3/problems/tests/xcsp/g3_pattern/Nonogram-Nonogram_example.xml
pycsp3/problems/tests/xcsp/g3_pattern/Nonogram-table-Nonogram_example.xml.lzma
pycsp3/problems/tests/xcsp/g3_pattern/OpenStacks-m1-OpenStacks_example.xml
pycsp3/problems/tests/xcsp/g3_pattern/OpenStacks-m2-OpenStacks_example.xml
pycsp3/problems/tests/xcsp/g3_pattern/PrizeCollecting-PrizeCollecting_example.xml
pycsp3/problems/tests/xcsp/g3_pattern/ProgressiveParty-ProgressiveParty_example.xml
pycsp3/problems/tests/xcsp/g3_pattern/PseudoBoolean-PseudoBoolean_example.xml
pycsp3/problems/tests/xcsp/g3_pattern/RectPacking-RectPacking_perfect-001.xml
pycsp3/problems/tests/xcsp/g3_pattern/RoomMate-RoomMate_sr0006.xml
pycsp3/problems/tests/xcsp/g3_pattern/Sat-clause-Sat_flat30-16.xml
pycsp3/problems/tests/xcsp/g3_pattern/Sat-dual-Sat_flat30-16.xml
pycsp3/problems/tests/xcsp/g3_pattern/Sat-sum-Sat_flat30-16.xml
pycsp3/problems/tests/xcsp/g3_pattern/Shikaku-Shikaku_grid1.xml
pycsp3/problems/tests/xcsp/g3_pattern/Sonet-Sonet_sonet1.xml
pycsp3/problems/tests/xcsp/g3_pattern/Sonet-Sonet_sonet3-4.xml
pycsp3/problems/tests/xcsp/g3_pattern/StripPacking-StripPacking_C1P1.xml
pycsp3/problems/tests/xcsp/g3_pattern/Subisomorphism-Subisomorphism_A-01.xml
pycsp3/problems/tests/xcsp/g3_pattern/Sudoku-9-None.xml
pycsp3/problems/tests/xcsp/g3_pattern/Sudoku-Sudoku_example.xml
pycsp3/problems/tests/xcsp/g3_pattern/Sudoku-Sudoku_s13a.xml
pycsp3/problems/tests/xcsp/g3_pattern/Sudoku-table-Sudoku_s13a.xml.lzma
pycsp3/problems/tests/xcsp/g3_pattern/TravelingSalesman-TravelingSalesman_10-20-0.xml
pycsp3/problems/tests/xcsp/g3_pattern/TravelingSalesman-table-TravelingSalesman_10-20-0.xml
pycsp3/problems/tests/xcsp/g3_pattern/VesselLoading-VesselLoading-inst1.xml
pycsp3/problems/tests/xcsp/g3_pattern/VesselLoading-VesselLoading-inst2.xml
pycsp3/problems/tests/xcsp/g4_world/Bacp-m1-Bacp_10.xml
pycsp3/problems/tests/xcsp/g4_world/Bacp-m1-d-Bacp_10.xml
pycsp3/problems/tests/xcsp/g4_world/Bacp-m2-Bacp_10.xml
pycsp3/problems/tests/xcsp/g4_world/Bacp-m2-d-Bacp_10.xml
pycsp3/problems/tests/xcsp/g4_world/CarSequencing-CarSequencing_dingbas.xml
pycsp3/problems/tests/xcsp/g4_world/CarSequencing-table-CarSequencing_dingbas.xml
pycsp3/problems/tests/xcsp/g4_world/Crossword-Crossword_h1501-lex.xml
pycsp3/problems/tests/xcsp/g4_world/Crossword-Crossword_vg6-7-ogd.xml.lzma
pycsp3/problems/tests/xcsp/g4_world/Crossword-alt-Crossword_h0504-lex.xml.lzma
pycsp3/problems/tests/xcsp/g4_world/Fapp-Fapp_ex2.xml.lzma
pycsp3/problems/tests/xcsp/g4_world/Fapp-short-Fapp_ex2.xml
pycsp3/problems/tests/xcsp/g4_world/League-League_010-03-04.xml
pycsp3/problems/tests/xcsp/g4_world/MisteryShopper-MisteryShopper_04.xml
pycsp3/problems/tests/xcsp/g4_world/NurseRostering-NurseRostering_00.xml
pycsp3/problems/tests/xcsp/g4_world/NurseRostering-NurseRostering_18.xml
pycsp3/problems/tests/xcsp/g4_world/PizzaVoucher-PizzaVoucher_pizza6.xml
pycsp3/problems/tests/xcsp/g4_world/QuadraticAssignment-QuadraticAssignment_example.xml
pycsp3/problems/tests/xcsp/g4_world/QuadraticAssignment-QuadraticAssignment_qap.xml
pycsp3/problems/tests/xcsp/g4_world/Rack-Rack_r2.xml
pycsp3/problems/tests/xcsp/g4_world/Rack2-Rack_r2b.xml
pycsp3/problems/tests/xcsp/g4_world/RadarSurveillance-RadarSurveillance_8-24-3-2-00.xml
pycsp3/problems/tests/xcsp/g4_world/Rcpsp-Rcpsp_j30-01-01.xml
pycsp3/problems/tests/xcsp/g4_world/Rlfap-card-Rlfap_card-scen-04.xml
pycsp3/problems/tests/xcsp/g4_world/Rlfap-max-Rlfap_max-graph-05.xml
pycsp3/problems/tests/xcsp/g4_world/Rlfap-span-Rlfap_span-scen-05.xml
pycsp3/problems/tests/xcsp/g4_world/SchedulingFS-SchedulingFS-Taillard-os-04-04-0.xml
pycsp3/problems/tests/xcsp/g4_world/SchedulingFS-Taillard-fs-020-05-1.xml
pycsp3/problems/tests/xcsp/g4_world/SchedulingJS-Sadeh-js-e0ddr1-0.xml
pycsp3/problems/tests/xcsp/g4_world/SchedulingJS-Taillard-js-015-15-1.xml
pycsp3/problems/tests/xcsp/g4_world/SchedulingOS-GP-os-01.xml
pycsp3/problems/tests/xcsp/g4_world/SchedulingOS-Taillard-os-05-05-1.xml
pycsp3/problems/tests/xcsp/g4_world/SolitaireBattleship-SolitaireBattleship-battleship_instances-00113.xml
pycsp3/problems/tests/xcsp/g4_world/SolitaireBattleship-SolitaireBattleship_sb-12-12-5-0.xml
pycsp3/problems/tests/xcsp/g4_world/SteelMillSlab-01-SteelMillSlab_bench_2_0.xml.lzma
pycsp3/problems/tests/xcsp/g4_world/SteelMillSlab-SteelMillSlab_bench_2_0.xml
pycsp3/problems/tests/xcsp/g4_world/Tal-Tal-frobserved-7-15-11-13-9-1-11-7-4_1.xml
pycsp3/problems/tests/xcsp/g4_world/TemplateDesign-TemplateDesign_catfood_2.xml
pycsp3/problems/tests/xcsp/g4_world/TemplateDesign-aux-TemplateDesign_catfood_2.xml
pycsp3/problems/tests/xcsp/g4_world/TravelingPurchaser-TravelingPurchaser-7-5-30-1.xml
pycsp3/problems/tests/xcsp/g4_world/TravelingTournament-a2-TravelingTournament_galaxy04.xml
pycsp3/problems/tests/xcsp/g4_world/TravelingTournament-a3-TravelingTournament_galaxy04.xml
pycsp3/problems/tests/xcsp/g4_world/TravelingTournamentWithPredefinedVenues-a2-Ttppv_circ8bbal.xml
pycsp3/problems/tests/xcsp/g4_world/TravelingTournamentWithPredefinedVenues-a3-Ttppv_circ8bbal.xml
pycsp3/problems/tests/xcsp/g4_world/Vrp-Vrp_P-n16-k8.xml
pycsp3/problems/tests/xcsp/g4_world/Warehouse-Warehouse_example.xml
pycsp3/problems/tests/xcsp/g4_world/Wwtpp-Wwtpp_ex04400.xml
pycsp3/problems/tests/xcsp/g4_world/Wwtpp-short-Wwtpp_ex04400.xml
pycsp3/problems/tests/xcsp/g5_special/DistinctVectors-10-6-4.xml
pycsp3/problems/tests/xcsp/g5_special/Domino-200-200.xml
pycsp3/problems/tests/xcsp/g5_special/Domino-table-200-200.xml
pycsp3/problems/tests/xcsp/g5_special/Hanoi-5.xml
pycsp3/problems/tests/xcsp/g5_special/Knights-16-4.xml
pycsp3/problems/tests/xcsp/g5_special/Pigeons-6.xml
pycsp3/problems/tests/xcsp/g5_special/Pigeons-dec-6.xml
pycsp3/problems/tests/xcsp/g5_special/Pions-6-4.xml
pycsp3/problems/tests/xcsp/g5_special/PropStress-20.xml
pycsp3/problems/tests/xcsp/g5_special/QueensPions-6-4-3.xml
pycsp3/problems/tests/xcsp/g5_special/QueensPions-mul-6-4-3.xml
pycsp3/problems/tests/xcsp/g6_testing/TestAbscon.xml
pycsp3/problems/tests/xcsp/g6_testing/TestElement.xml
pycsp3/problems/tests/xcsp/g6_testing/TestSlices.xml
pycsp3/problems/tests/xcsp/g6_testing/TestSumConditions.xml
pycsp3/problems/tests/xcsp/g6_testing/TestSums.xml
pycsp3/problems/tests/xcsp/g6_testing/TestUnaryConditions.xml
pycsp3/problems/tests/xcsp/g6_testing/UnitTestingExtension.xml
pycsp3/problems/tests/xcsp/g6_testing/UnitTestingSum.xml
pycsp3/problems/tests/xcsp/g6_testing/UnitTestingVariable.xml
pycsp3/solvers/__init__.py
pycsp3/solvers/solver.py
pycsp3/solvers/abscon/AbsCon-20-01.jar
pycsp3/solvers/abscon/AbsConPy4J.class
pycsp3/solvers/abscon/AbsConPy4J.java
pycsp3/solvers/abscon/__init__.py
pycsp3/solvers/abscon/javax.json-1.0.4.jar
pycsp3/solvers/abscon/py4j0.10.8.1.jar
pycsp3/solvers/abscon/xcsp3-tools-1.1.1-SNAPSHOT.jar
pycsp3/solvers/chocosolver/ChocoSolverPy4J.class
pycsp3/solvers/chocosolver/ChocoSolverPy4J.java
pycsp3/solvers/chocosolver/__init__.py
pycsp3/solvers/chocosolver/choco-parsers-4.10.3-SNAPSHOT-jar-with-dependencies.jar
pycsp3/solvers/chocosolver/py4j0.10.8.1.jar
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