dtcontrol

View on PyPIReverse Dependencies (0)

2.1.15 dtcontrol-2.1.15-py3-none-any.whl

Wheel Details

Project: dtcontrol
Version: 2.1.15
Filename: dtcontrol-2.1.15-py3-none-any.whl
Download: [link]
Size: 1573245
MD5: 2cdf788c06d933dc97bef1a0e2c13e5e
SHA256: 375d40072cbebf24ea00b9479159f886397ffa3fbb89bdd4fc8efe5f4fa64e34
Uploaded: 2023-06-23 07:33:02 +0000

dist-info

METADATA

Metadata-Version: 2.1
Name: dtcontrol
Version: 2.1.15
Summary: A small tool which can convert automatically synthesised formally verified controllers into concise decision trees.
Author: Christoph Weinhuber
Author-Email: christoph.weinhuber[at]tum.de
Home-Page: https://dtcontrol.model.in.tum.de/
License: MIT
Classifier: Programming Language :: Python :: 3.8
Classifier: Programming Language :: Python :: 3.9
Classifier: License :: OSI Approved :: MIT License
Requires-Python: >=3.8
Requires-Dist: Flask (>=2.0.3)
Requires-Dist: dd (>=0.5.7)
Requires-Dist: pandas (>=1.4.1)
Requires-Dist: ruamel.yaml (>=0.17.21)
Requires-Dist: scikit-learn (>=1.0.2)
Requires-Dist: sympy (>=1.9)
Requires-Dist: tabulate (>=0.8.9)
Requires-Dist: tqdm (>=4.62.3)
Description-Content-Type: text/x-rst
[Description omitted; length: 5953 characters]

WHEEL

Wheel-Version: 1.0
Generator: bdist_wheel (0.34.2)
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
dtcontrol/bdd.py sha256=PeWBYG-cyS3-M_h8O7cGT8_hE0Ki3QAcxm2eBwjInd8 13546
dtcontrol/benchmark_suite.py sha256=Jy0P9fk1Q0hLrtG48u61zqRM8RmpShLsSPds2VGaQGE 14624
dtcontrol/benchmark_suite_classifier.py sha256=QI2KLWP0h7wyduvNtqxElP97F0S98S6RDRAfTBB05eI 1663
dtcontrol/cli.py sha256=azN_6QzwzhDZATpHK4Tfid6G-9pfSz9LNwf4naxV3DQ 31495
dtcontrol/config.yml sha256=SOlDYjIAVaCqUvXUcMvNmHhfVQwjGhRyuD1GSgSPzM0 1357
dtcontrol/frontend_helper.py sha256=cX-s9YVoeQk9-uWSOSIveakQIQb7i-geZQK5qeFwEJ0 19765
dtcontrol/globals.py sha256=672-r946C1fllHgi244gvmAwCpd4-qNQoAsVY1jrDaQ 15
dtcontrol/timeout.py sha256=OLQRll9IfI0w5OxAWiZD-CU4dGgDltKtqv_EzOnA8Q4 2025
dtcontrol/util.py sha256=lXHNPzc__3w5lKN8-PMnJo72nEpAHDjmt7SY9hFLpeU 3968
dtcontrol/c_templates/multi_output.c sha256=mf5s57T1Ef1geW1n4w24ZdrOBrOEwnlBzIN2bwLVbY0 248
dtcontrol/c_templates/single_output.c sha256=mNZih025AN7HIq9ZIegsg0x1hHbIgh7-31bb9Y84INk 190
dtcontrol/dataset/csv_dataset_loader.py sha256=U45MY5uOUllGi1S9UONbEbaTuO_hYE1hA2vdgiLIhjk 2887
dtcontrol/dataset/dataset.py sha256=gfM4nGIj_CFqjrs9_mBLCqFXLMnoG19AaYKBFVCEBMY 10266
dtcontrol/dataset/dataset_loader.py sha256=P09ywZWIVe3Uvz9Ql3q4WNMWQg5ql2jEFseKgdNoea0 5470
dtcontrol/dataset/multi_output_dataset.py sha256=0YdjMqFWRGDrIwmflUtEOhi-IlTEXN5ywDH6ZMIk9HU 4948
dtcontrol/dataset/prism_dataset_loader.py sha256=bbSS4_tSY7fRvJEn2SFn_0nwA3VRVidxtu0RA2PKqX0 2645
dtcontrol/dataset/scots_dataset_loader.py sha256=NMrdqZ03Acux6PY9ikfgn_4F40psDXpcYBR8h9He-9Y 6305
dtcontrol/dataset/single_output_dataset.py sha256=puDi2a5_ji7huHpJ3dESwhMKDyGrbipgjwrVzOBUi58 2002
dtcontrol/dataset/storm_dataset_loader.py sha256=afe_xpoCJXgNxOtLC0_RL7beV4n53sf-KLG-uZs-5Co 4607
dtcontrol/dataset/uppaal_dataset_loader.py sha256=y3xgRwFG2jmhpgrT_eKFxjMXR3BMTwVRc-Bwa_3jEq0 7065
dtcontrol/decision_tree/decision_tree.py sha256=iVj3X0-NqHQ0a2Usbd7l_srJBNrv3fhBKbBvw0glFM8 23776
dtcontrol/decision_tree/max_cart_forest.py sha256=R1r2FMu5tHbAPZLBX-F8EDQo7eXHp9Onvz6K5TYpwiA 1601
dtcontrol/decision_tree/OC1_source/README sha256=TcoXgOHeXwDZIOejxcsP4V4WfQktmq7hmOFSoAui70Q 4596
dtcontrol/decision_tree/OC1_source/classify.c sha256=E8TTO3fUgcf_vUZcu6T9FDjJPkgROYfS1WG2VN28rdk 10534
dtcontrol/decision_tree/OC1_source/classify_util.c sha256=WG_EIGJyuN5CMQEjHrw7_6krjBaZSEOTv7egsBJnRQ0 13402
dtcontrol/decision_tree/OC1_source/compute_impurity.c sha256=81GCkJurP74gupPjk_G92MYfbRXFyTPMT2zqharw2cI 9357
dtcontrol/decision_tree/OC1_source/display.c sha256=wuV7yegx-OspamA5V24TmOEEmber_tMmBDqIrad7_TM 38515
dtcontrol/decision_tree/OC1_source/display.readme sha256=LP3jnjHF5-B3cRLOWUERYuW0LgGosHm9NrIb6PwIUzo 4568
dtcontrol/decision_tree/OC1_source/gendata.c sha256=GEnqWpEekkVk-6GruiWgKQeEeXUCa3ReBF-Ap62la9o 5226
dtcontrol/decision_tree/OC1_source/gendata.readme sha256=fkA8pYLNpDuBJepaWcADFB4gxJtnSws7l_DmBcm_Xq4 2940
dtcontrol/decision_tree/OC1_source/impurity_measures.c sha256=pdKu0Ad3FTeYbivPMQRBUslcP96xTLXtfPvkeVbuQDs 12914
dtcontrol/decision_tree/OC1_source/load_data.c sha256=gF0cmdgKtHGKPCJlKZBR3YstkF_nyOf9Ym05Jb3ELjw 13452
dtcontrol/decision_tree/OC1_source/makefile sha256=ilEIoTUiaSVC1c2a6gvtw1Gl1ZcVgwEQo8zNiQFyzj8 770
dtcontrol/decision_tree/OC1_source/mktree.c sha256=1fIh-G8OGlNdzTJCMIR2pDDKvkgLT5wQOFqL2NTmqbA 66633
dtcontrol/decision_tree/OC1_source/mktree.readme sha256=uTgJsJ-nIh82Ii-VA0-JSNreSEYAMRppRusJO6IrZco 16895
dtcontrol/decision_tree/OC1_source/myprune.c sha256=lk3FBXZh15sy9UNfAZWJ5ofZxyEsX2rYPH2s7QA_N2M 17113
dtcontrol/decision_tree/OC1_source/oc1.h sha256=_wjuCPyFv3I059yadHPI9ibETM_x8Y8PDAX3BoIApC0 3117
dtcontrol/decision_tree/OC1_source/oc1_bkp.h sha256=qEb1WoFvcEPYeXcQNK5BhY9q_3GdhcdS9qlq3vO9awc 3118
dtcontrol/decision_tree/OC1_source/perturb.c sha256=A-6XTh3oLDxSvcf_tzeQEYd0f21ZECQlhEi00DsX2vg 18419
dtcontrol/decision_tree/OC1_source/prune.c sha256=B_OxhhIt_vSuiskL3ejAHwfTg8Rp2bCksUGvI_xrPUI 16097
dtcontrol/decision_tree/OC1_source/source_code.readme sha256=DgeUhdk5Z_DtZ-67JC-1FiCZTZbK8MmBPowlKFhTLLM 2293
dtcontrol/decision_tree/OC1_source/train_util.c sha256=bqP_AaqRNfbctPL7xsf3ooz60E85i_5Rn4RrwDeHk08 6937
dtcontrol/decision_tree/OC1_source/tree_util.c sha256=9eUH489ARqrrQjPf10wwbwExOev0p1ek8FbgJp4GVBQ 16468
dtcontrol/decision_tree/OC1_source/util.c sha256=dEcDsZEOa0-vmifDKOITC24WZlAq63ayrvUNiOTT0X4 17045
dtcontrol/decision_tree/determinization/determinizer.py sha256=3bEYW8U3yF6x8d6pc8j-ipdiMYAZy4zB84LBXRNMg3g 487
dtcontrol/decision_tree/determinization/label_powerset_determinizer.py sha256=TfHKFu5wIqEsezhDtAFyzgYTWFjYP96HM2ezTfkCFyI 500
dtcontrol/decision_tree/determinization/max_freq_determinizer.py sha256=e5sgun8TlQOji0Sf7mpM7moJTbozWHFCc3fESusm9ik 1413
dtcontrol/decision_tree/determinization/max_freq_multi_determinizer.py sha256=Ra9qV4TZDt2BOe8o0w5J2cDYxviYzGBlBmO1Pnox4yk 4270
dtcontrol/decision_tree/impurity/auroc.py sha256=pa56k8MzmfEq10Q-39UcjGCI26L7_UR7l30PSKPErAE 1564
dtcontrol/decision_tree/impurity/determinizing_impurity_measure.py sha256=fprHt1okrWxR_Ptx15GsCuJ-q0h2w-UcMO7UN3_j7hY 372
dtcontrol/decision_tree/impurity/entropy.py sha256=tpVWp1JEfrDmp6KkPGJ378cxvbhxICCaKn_fIvciD3A 979
dtcontrol/decision_tree/impurity/entropy_ratio.py sha256=UWbDM5D1EV7Qx2boklsTdWeV55DH6YVdzUCWdx_aSGM 1607
dtcontrol/decision_tree/impurity/gini_index.py sha256=voznSiQwFmxSIb2Zp-HJX6sGhEhok4Fk-p5dL56RbKQ 982
dtcontrol/decision_tree/impurity/impurity_measure.py sha256=a1-BEbD8mEbgrDnJnmxBzYczVmv7jzI_2AXRwdORKu8 509
dtcontrol/decision_tree/impurity/max_minority.py sha256=dDsObK_wNudu3ONMm2tHW1gdNg3XWkXRD7Nx2ooqpxM 836
dtcontrol/decision_tree/impurity/multi_label_entropy.py sha256=pvVDmVSjgu-0YD9seOSJ0koYaKdN_DLuGTEVqJeZsEo 547
dtcontrol/decision_tree/impurity/multi_label_gini_index.py sha256=IFwg0aT7zvROblPonKBiJS8J1Y0nTNOBkawc0Gm1NAw 515
dtcontrol/decision_tree/impurity/multi_label_impurity_measure.py sha256=AsN3KDPxYrvsnzxXSNajG1mvtTGDdz6JsPruHvsaV6g 204
dtcontrol/decision_tree/impurity/multi_label_twoing_rule.py sha256=pV4SaYeZEoR2pB6genthOY1nPhfkD2FZEHFklquuTPg 1821
dtcontrol/decision_tree/impurity/scaled_bincount.py sha256=RgCgpKXHmPAII9A9WMGTABmYyKlIJ_O6-Q5AlrVHbQo 1209
dtcontrol/decision_tree/impurity/sum_minority.py sha256=KiP8NeeuLN7_Ddtk8r-DBCvbqPiLsLWGzANrFBh6rRQ 836
dtcontrol/decision_tree/impurity/twoing_rule.py sha256=wRQwpTze-iRlVkm7KHQUSjnS1JikS5zpF4c_ko1Lut4 1207
dtcontrol/decision_tree/splitting/axis_aligned.py sha256=aaJ7YQ_SPm5HRgyFu4Lm7WyzH-mxcGmOPvsR4OZEqQA 2068
dtcontrol/decision_tree/splitting/categorical_multi.py sha256=lq5-iEW_8hDbEUH2VeHGCuFsM8cmvloNEfbRTMV6B5c 4510
dtcontrol/decision_tree/splitting/categorical_single.py sha256=FnJ9r2SvaMz9qbCwjNnpD6HqkByAyqy86w8BLXsG2w4 2123
dtcontrol/decision_tree/splitting/linear_classifier.py sha256=0muX3iu9bYtKVHMFdAwJGFZnGycF1cKvXRjKPOLAwCU 2063
dtcontrol/decision_tree/splitting/linear_classifier_only_leaf.py sha256=reVcWdbFINEdxXz7b7zWxQD_rTb9zv4m6_NWnRdMdBg 1726
dtcontrol/decision_tree/splitting/linear_split.py sha256=wzUqS19OdyhgHilVtaCLtPZB6WwRvD36GL5O6VS4dos 3074
dtcontrol/decision_tree/splitting/oc1.py sha256=d9ehpsD_UnBrtZrDPv228ogAQjIonM3MZjR6EUUbeDk 5223
dtcontrol/decision_tree/splitting/split.py sha256=I17Pm2foUi805CPAD4JMY7CpqAVDPSClxUQLGMSc8UA 1210
dtcontrol/decision_tree/splitting/splitting_strategy.py sha256=d4WDIt4aYMTzBlONyH12h30aL7cNaY6cm3sb0eQa6IU 436
dtcontrol/decision_tree/splitting/context_aware/context_aware_splitting_strategy.py sha256=PeZG2y_mL8Q-LaUjHSp-qWZK3oiCEkpuAAHfoUNMmk0 1112
dtcontrol/decision_tree/splitting/context_aware/linear_units_classifier.py sha256=x874VGybpHqFI8HXe7VzHfi5x8dKW-XcD6jlpKr_FgU 3966
dtcontrol/decision_tree/splitting/context_aware/predicate_parser.py sha256=okxcTc2ypCZQAe-GOi6KFMYQqvlxc8W_M4sNTo4oU7E 27618
dtcontrol/decision_tree/splitting/context_aware/richer_domain_cli_strategy.py sha256=4EwGL56IkBYBGzN-uoCsxV4cmGF2OjDDkgVHyF0boYw 41214
dtcontrol/decision_tree/splitting/context_aware/richer_domain_exceptions.py sha256=wfaUMybPCZTcamUKzlreBw3eRPk3iIqu9-xicE7wO4Q 737
dtcontrol/decision_tree/splitting/context_aware/richer_domain_logger.py sha256=CUA6s2ilj3F_ym4_HD6_T-5KNBps4n0naIzt6Rivn8Y 1194
dtcontrol/decision_tree/splitting/context_aware/richer_domain_split.py sha256=m7Zgo7dFXV5cn5VBRgn1NPXUR1R6HAeXzo__0SDbntg 17492
dtcontrol/decision_tree/splitting/context_aware/richer_domain_splitting_strategy.py sha256=5Qg5iJ-Sj9Fize9aND57xnEhd1CHyRVAckUiB8PoQ9c 13815
dtcontrol/frontend/app.py sha256=6kmwLABSodJJCLHpJvx_yZEZCUqJAGcFkk_cIX2Cng0 25549
dtcontrol/frontend/static/css/bootstrap.min.css sha256=aAr2Zpq8MZ-YA_D6JtRD3xtrwpEz2IqOS-pWD_7XKIw 160403
dtcontrol/frontend/static/css/font-awesome.min.css sha256=eZrrJcwDc_3uDhsdt61sL2oOBY362qM3lon1gyExkL0 31000
dtcontrol/frontend/static/css/hamburger.css sha256=lC0FsfoilAeYR6FhUj7T_rnOOUwpE5avWlb-htuom7E 2656
dtcontrol/frontend/static/css/new-select.css sha256=Dp8ZCOxr2-Bg59C6lozrNMnUi2c9HCLFoPkiQf1cvKw 491
dtcontrol/frontend/static/css/node-stylings.css sha256=Qlcsx-Z6gzEBWMFuDp13sDDxun8Xewju39uTAsg_80A 2705
dtcontrol/frontend/static/css/sb-admin-2.min.css sha256=AFQcLrLHLBxY2uiuSp1XbuGqU-21SNqY1XOojPV86jE 169306
dtcontrol/frontend/static/css/sidenav-my.css sha256=Iw7HLG3LoIPwqcJItsJ2CG0gTfkwyrwj6Utj9ZI9kws 2224
dtcontrol/frontend/static/css/style.css sha256=8KwpQEBFemr7ftriaXNl7XaI6WJtLB5tT1zN1vLs4yw 1835
dtcontrol/frontend/static/fonts/FontAwesome.otf sha256=RE3UNmYV_8ShbQErL6kBNwZdPMtBD6b9Xk3de15P_NU 134808
dtcontrol/frontend/static/fonts/fontawesome-webfont.eot sha256=e_yrbbmdXPvxcFygU23ceFhUMsxfpBu9etDwCQM7KXk 165742
dtcontrol/frontend/static/fonts/fontawesome-webfont.svg sha256=rWFXkmwWIrpOHQPUePFUE2hSS_xG9R5C_g2UX37zI-Q 444379
dtcontrol/frontend/static/fonts/fontawesome-webfont.ttf sha256=qljzPyOaD7AvXHpsRcBD16msmgkzNYBmlOzW1O3A1qg 165548
dtcontrol/frontend/static/fonts/fontawesome-webfont.woff sha256=ugxZ3rVFD1y0Gz-TYJ7i0NmVQVh33foiPoqKdTNHTwc 98024
dtcontrol/frontend/static/fonts/fontawesome-webfont.woff2 sha256=Kt78vAQefRj88tQXh53FoJmXqmTWdbejxLbOM9oT8_4 77160
dtcontrol/frontend/static/images/favicon-16.png sha256=KVBcYjriXqZQ2G60oluR2uj0rmVei-txGG0Gm3dsSp4 2548
dtcontrol/frontend/static/images/favicon-180.png sha256=b2klS8OnxdjkkIgd1fcKnZ2Widn7vkrCJ-It_HjxATM 19903
dtcontrol/frontend/static/images/favicon-32.png sha256=xc_3lfOBDqZUDj-EdSYiQksD8fv9dMsISaBwExdVNBE 4268
dtcontrol/frontend/static/images/logo.png sha256=SrL3YCziElJq8wreEWiJPLa8bWcDkFfXPo2mPhEqMN0 166741
dtcontrol/frontend/static/js/Chart.js sha256=M0EVXmzir7zZGnp1fRl5WNWgFzsray-edkgocXrDmQQ 403789
dtcontrol/frontend/static/js/benchmark.js sha256=iYAIXJYT00-vQ6XVgB8NvNayuh9_PPqybBGpwElEmZw 17882
dtcontrol/frontend/static/js/bootstrap.min.js sha256=OFRAJNoaD8L3Br5lglV7VyLRf0itmoBzWUoM-Sji4_8 60174
dtcontrol/frontend/static/js/common.js sha256=GuyCbrfbQj9ysb7GJrBm6DfJsxW8vCrhED1F3G0rlv8 11082
dtcontrol/frontend/static/js/d3.min.js sha256=dsOXGNHAo_syFnazt-KTBsCQeRmlcW1XKL0bCK4Baec 151725
dtcontrol/frontend/static/js/d3.v4.js sha256=yzL5tjr831PG6XZPPKdJK9hAD2sDZ1QnQ6y-LFAmcpY 472080
dtcontrol/frontend/static/js/d3.v6.min.js sha256=AFWyORP4OXUzC8rHTpEW7fyXtxg94-ZzivnZiTb1NDg 267786
dtcontrol/frontend/static/js/inspect.js sha256=HM4oE4lMBz3fPXWBKVF3mP1AV311iUYmTnkwfQPM8VY 84071
dtcontrol/frontend/static/js/jquery.min.js sha256=YVCjXA9IbEbK3w4jDiqhWcfCPs-7VhG2TuPyX8v_NB8 89475
dtcontrol/frontend/static/js/popper.min.js sha256=pTYb5I5kKX8jBGqUgBBnv89kQ5HHbeYky85VYONdZgs 21256
dtcontrol/frontend/templates/base.html sha256=sGe5U4-K12o-YP1lajG8rzeNEF4uuJW4RAD2C8CVwUQ 18820
dtcontrol/frontend/templates/index.html sha256=FEnau1eF3CaQ9MAtdmaLU8TJY88P0xGedUagHYqQoJs 3296
dtcontrol/frontend/templates/simulator.html sha256=2fgJwLwNzEkfXFfomKpX4qwFeU1W4OAHPPbruFfOURw 14363
dtcontrol/post_processing/post_processing_method.py sha256=HKP10vn-QEpUXCKKN1Y3R2hbz7v7KxiBdpJkt5ijZcs 1037
dtcontrol/post_processing/safe_pruning.py sha256=N-K47bTxjkOavDtfpo2Jrm0rQkbB-L3ONNdc-OXN-Vc 1972
dtcontrol/pre_processing/label_pre_processor.py sha256=6Bh5NNgIm153sUPuaBWybMwAu94xq2ayvgJ2E3KaNck 897
dtcontrol/pre_processing/maxfreq_pre_processor.py sha256=HdBdgCOWfvqUQYjVpyr2wFxiKA538cjMmB5MusA1DjY 848
dtcontrol/pre_processing/norm_pre_processor.py sha256=6gcG8ihrharhq9fI-dOfgB0zC9S9O0M1ZMkKZDmA9cc 1055
dtcontrol/pre_processing/random_pre_processor.py sha256=3YkAp7RxWGdP9YZEVV8ZBHWXNSoyzvjPhvemrgraTR8 813
dtcontrol/ui/bootstrap.min.css sha256=YLGeXaapI0_5IgZopewRJcFXomhRMlYYjugPLSyNjTY 155758
dtcontrol/ui/bootstrap.min.js sha256=CjSoeELFOcH0_uxWu6mC_Vlrc1AARqbm_jiiImDGV3s 58072
dtcontrol/ui/bootstrap4-toggle.min.css sha256=O2vM7yYY3KvcJBl9KlWgcWIDi2Gw-oW39-WceHpZMeA 2795
dtcontrol/ui/bootstrap4-toggle.min.js sha256=p6I-tuAqpKQhe7ldkP1yo_Du0QRYjm1O3reSKIiS4AM 4431
dtcontrol/ui/jquery-3.4.1.min.js sha256=CSXorXvZcTkaix6Yvo6HppcZGetbYMGWSFlBw8HfCJo 88145
dtcontrol/ui/style.css sha256=AEqwhW_oig5lzqAhN7HhnjvRm0zH70rpm4HdkVkGYE4 473
dtcontrol/ui/table.html sha256=ipdOfyZLHgwwlAZD3DyiM1MG83Fb1AhFpvifvMoSJ6w 5252
dtcontrol/ui/table.js sha256=3jxNncL_iVzOJ5g4kucNGCaW5R6nFqBn6eHLE5oPiDg 904
dtcontrol/ui/table_controller.py sha256=hgyHpbdfq8FCHxI4APbifeU5wHwB7PQhguqQ3BdbW6w 6588
dtcontrol-2.1.15.dist-info/LICENSE sha256=2MN7uGjrUlG-WmA_imk4a2JvMEw1d8R7wpSkOUvaiRA 1143
dtcontrol-2.1.15.dist-info/METADATA sha256=AcD8b3M1E08vMVwvSaEI8nXi0lv_8qcSWnRWVmVbR58 6752
dtcontrol-2.1.15.dist-info/WHEEL sha256=g4nMs7d-Xl9-xC9XovUrsDHGXt-FT0E17Yqo92DEfvY 92
dtcontrol-2.1.15.dist-info/entry_points.txt sha256=r11pMsjV8oHFx-IQs1v6C1gslSDULKzogEdI1XmWcSk 113
dtcontrol-2.1.15.dist-info/top_level.txt sha256=ziC7ozEiPgxrBx02DAWRBBwbivohIR9Gf6WUE5AvGp0 10
dtcontrol-2.1.15.dist-info/RECORD

top_level.txt

dtcontrol

entry_points.txt

dtcontrol = dtcontrol.cli:main
dtcontrol-frontend = dtcontrol.frontend.app:start_web_frontend