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/structures.py
pycsp3/classes/auxiliary/types.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/dataparser.py
pycsp3/problems/data/json/Auction_example.json
pycsp3/problems/data/json/Bacp_inst0.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/Kakuro_easy-000.json
pycsp3/problems/data/json/Knapsack_20-50-00.json
pycsp3/problems/data/json/LatinSquareB_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/LinearArrangement_04.json
pycsp3/problems/data/json/Mario_easy-2.json
pycsp3/problems/data/json/MarketSplit_04.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/PlaneparkingParser.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_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/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/Vrp_P-n16-k8.json
pycsp3/problems/data/json/Wwtpp_ex04400.json
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/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/PlaneparkingParser.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/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/data/raw/solutionPlaneParking.html
pycsp3/problems/data/raw/solutionPlaneParking.json
pycsp3/problems/data/raw/Planeparking/capacites.xlsx
pycsp3/problems/data/raw/Planeparking/ombrages.xlsx
pycsp3/problems/data/raw/Planeparking/ordonnancement.xlsx
pycsp3/problems/data/raw/Planeparking/parkings.xlsx
pycsp3/problems/data/raw/Planeparking/reductions.xlsx
pycsp3/problems/data/raw/Planeparking/strategies.xlsx
pycsp3/problems/data/raw/Planeparking/strategies_matrice.xlsx
pycsp3/problems/data/raw/Planeparking/temps_traitement.xlsx
pycsp3/problems/data/raw/Planeparking/vols.xlsx
pycsp3/problems/data/raw/Planeparking/vols_strat.xlsx
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/Riddle3.py
pycsp3/problems/g0_school/Riddle3a.py
pycsp3/problems/g0_school/Riddle4.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/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/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/Fastfood2.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/LatinSquareB.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/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/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_tests/ColunmSliceNumPy.py
pycsp3/problems/g6_tests/ElementGetItem.py
pycsp3/problems/g6_tests/ExtendSum.py
pycsp3/problems/g6_tests/OverrideOperatorNode.py
pycsp3/problems/g6_tests/OverrideOperatorSum.py
pycsp3/problems/g6_tests/Solve.py
pycsp3/problems/g6_tests/UnitTestingExtension.py
pycsp3/problems/g6_tests/UnitTestingIntension.py
pycsp3/problems/g6_tests/UnitTestingSum.py
pycsp3/problems/g6_tests/UnitTestingVariable.py
pycsp3/problems/g6_tests/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_tests.py
pycsp3/problems/tests/g7_todo.py
pycsp3/problems/tests/tester.py
pycsp3/problems/tests/xcsp/ColunmSliceNumPy.xml
pycsp3/problems/tests/xcsp/ElementGetItem-Rack_r2.xml
pycsp3/problems/tests/xcsp/ExtendSum.xml
pycsp3/problems/tests/xcsp/OverrideOperatorNode.xml
pycsp3/problems/tests/xcsp/OverrideOperatorSum.xml
pycsp3/problems/tests/xcsp/Solve.xml
pycsp3/problems/tests/xcsp/UnitTestingExtension.xml
pycsp3/problems/tests/xcsp/UnitTestingSum.xml
pycsp3/problems/tests/xcsp/UnitTestingVariable.xml
pycsp3/solvers/__init__.py
pycsp3/solvers/solver.py
pycsp3/solvers/abscon/__init__.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