├── .flake8 ├── .github ├── conda.py ├── conda │ └── meta.yaml ├── deploy.yml ├── pipsource.py ├── requirements.txt ├── trigger.sh └── workflows │ ├── conda-dev.yml │ ├── pip_installation_check.yml │ └── pipsource.yml ├── .gitignore ├── .pylintrc ├── .readthedocs.yaml ├── CHANGES.md ├── LICENSE ├── MANIFEST.in ├── Makefile ├── README.md ├── angular_frontend ├── angular.json ├── package.json ├── src │ ├── app │ │ ├── app.component.html │ │ ├── app.component.scss │ │ ├── app.component.spec.ts │ │ ├── app.component.ts │ │ ├── app.module.ts │ │ ├── attribute-helper.service.ts │ │ ├── button │ │ │ ├── button.component.html │ │ │ ├── button.component.scss │ │ │ ├── button.component.spec.ts │ │ │ └── button.component.ts │ │ ├── callback-helper.service.ts │ │ ├── canvas │ │ │ ├── canvas.component.html │ │ │ ├── canvas.component.scss │ │ │ ├── canvas.component.spec.ts │ │ │ └── canvas.component.ts │ │ ├── checkbox │ │ │ ├── checkbox.component.html │ │ │ ├── checkbox.component.scss │ │ │ ├── checkbox.component.spec.ts │ │ │ └── checkbox.component.ts │ │ ├── child-bearer.service.ts │ │ ├── collapse │ │ │ ├── collapse.component.html │ │ │ ├── collapse.component.scss │ │ │ ├── collapse.component.spec.ts │ │ │ └── collapse.component.ts │ │ ├── component-creation.service.ts │ │ ├── config.service.ts │ │ ├── container │ │ │ ├── container.component.html │ │ │ ├── container.component.scss │ │ │ ├── container.component.spec.ts │ │ │ └── container.component.ts │ │ ├── context-menu.service.ts │ │ ├── context-menu │ │ │ ├── context-menu.component.html │ │ │ ├── context-menu.component.scss │ │ │ ├── context-menu.component.spec.ts │ │ │ └── context-menu.component.ts │ │ ├── context.service.ts │ │ ├── draw-frontend.service.ts │ │ ├── dropdown-menu │ │ │ ├── dropdown-menu.component.html │ │ │ ├── dropdown-menu.component.scss │ │ │ ├── dropdown-menu.component.spec.ts │ │ │ └── dropdown-menu.component.ts │ │ ├── element-lookup.service.ts │ │ ├── file-input │ │ │ ├── file-input.component.html │ │ │ ├── file-input.component.scss │ │ │ ├── file-input.component.spec.ts │ │ │ └── file-input.component.ts │ │ ├── http.service.ts │ │ ├── label │ │ │ ├── label.component.html │ │ │ ├── label.component.scss │ │ │ ├── label.component.spec.ts │ │ │ └── label.component.ts │ │ ├── line │ │ │ ├── line.component.html │ │ │ ├── line.component.scss │ │ │ ├── line.component.spec.ts │ │ │ └── line.component.ts │ │ ├── locator.service.ts │ │ ├── menu-bar │ │ │ ├── menu-bar.component.html │ │ │ ├── menu-bar.component.scss │ │ │ ├── menu-bar.component.spec.ts │ │ │ └── menu-bar.component.ts │ │ ├── message │ │ │ ├── message.component.html │ │ │ ├── message.component.scss │ │ │ ├── message.component.spec.ts │ │ │ └── message.component.ts │ │ ├── modal-ref.service.ts │ │ ├── modal │ │ │ ├── modal.component.html │ │ │ ├── modal.component.scss │ │ │ ├── modal.component.spec.ts │ │ │ └── modal.component.ts │ │ ├── progress-bar │ │ │ ├── progress-bar.component.html │ │ │ ├── progress-bar.component.scss │ │ │ ├── progress-bar.component.spec.ts │ │ │ └── progress-bar.component.ts │ │ ├── sidebar │ │ │ ├── sidebar.component.html │ │ │ ├── sidebar.component.scss │ │ │ ├── sidebar.component.spec.ts │ │ │ └── sidebar.component.ts │ │ ├── tabs │ │ │ ├── tabs.component.html │ │ │ ├── tabs.component.scss │ │ │ ├── tabs.component.spec.ts │ │ │ └── tabs.component.ts │ │ ├── textfield │ │ │ ├── textfield.component.html │ │ │ ├── textfield.component.scss │ │ │ ├── textfield.component.spec.ts │ │ │ └── textfield.component.ts │ │ ├── types │ │ │ ├── json-response.dto.ts │ │ │ └── server-request.ts │ │ └── window │ │ │ ├── window.component.html │ │ │ ├── window.component.scss │ │ │ ├── window.component.spec.ts │ │ │ └── window.component.ts │ ├── assets │ │ ├── .gitkeep │ │ ├── config.json │ │ └── images │ │ │ └── default.svg │ ├── favicon.ico │ ├── icon.svg │ ├── index.html │ ├── leader-line.d.ts │ ├── main.ts │ └── styles.scss ├── tsconfig.app.json ├── tsconfig.json └── tsconfig.spec.json ├── clinguin ├── __init__.py ├── client │ ├── __init__.py │ ├── api │ │ ├── __init__.py │ │ ├── api.py │ │ └── frontend_operation_dto.py │ ├── application │ │ ├── __init__.py │ │ └── client_base.py │ └── presentation │ │ ├── __init__.py │ │ ├── abstract_frontend.py │ │ └── frontends │ │ ├── __init__.py │ │ ├── angular_frontend │ │ ├── __init__.py │ │ ├── angular_frontend.py │ │ └── clinguin_angular_frontend │ │ │ ├── 3rdpartylicenses.txt │ │ │ ├── assets │ │ │ ├── config.json │ │ │ └── images │ │ │ │ └── default.svg │ │ │ ├── favicon.ico │ │ │ ├── index.html │ │ │ ├── main.43c92bdc249f5746.js │ │ │ ├── polyfills.26316270d5c34064.js │ │ │ ├── runtime.496fedc6e58b1167.js │ │ │ ├── scripts.76a567df885bfa47.js │ │ │ └── styles.1b9129ce3468cf82.css │ │ └── tkinter_frontend │ │ ├── __init__.py │ │ ├── tkinter_elements │ │ ├── __init__.py │ │ ├── button.py │ │ ├── canvas.py │ │ ├── container.py │ │ ├── dropdownmenu.py │ │ ├── dropdownmenu_item.py │ │ ├── label.py │ │ ├── menu_bar.py │ │ ├── menu_bar_section.py │ │ ├── menu_bar_section_item.py │ │ ├── message.py │ │ ├── root_cmp.py │ │ └── window.py │ │ ├── tkinter_frontend.py │ │ └── tkinter_utils │ │ ├── __init__.py │ │ ├── attribute_names.py │ │ ├── call_back_definition.py │ │ ├── callback_names.py │ │ ├── configure_border.py │ │ ├── configure_font.py │ │ ├── configure_size.py │ │ ├── configure_text_element_size.py │ │ ├── extension_class.py │ │ ├── layout_controller.py │ │ └── layout_follower.py ├── client_helper.py ├── parse_input.py ├── server │ ├── __init__.py │ ├── application │ │ ├── __init__.py │ │ ├── attribute.py │ │ ├── backends │ │ │ ├── __init__.py │ │ │ ├── clingcon_backend.py │ │ │ ├── clingo_backend.py │ │ │ ├── clingodl_backend.py │ │ │ ├── clingraph_backend.py │ │ │ ├── explanation_backend.py │ │ │ ├── fclingo_backend.py │ │ │ ├── standard_utils │ │ │ │ ├── __init__.py │ │ │ │ ├── clingo_logger.py │ │ │ │ └── default_ui.lp │ │ │ └── theory_backend.py │ │ ├── callback.py │ │ ├── element.py │ │ └── standard_json_encoder.py │ ├── data │ │ ├── __init__.py │ │ ├── attribute.py │ │ ├── callback.py │ │ ├── clinguin_context.py │ │ ├── domain_state.py │ │ ├── element.py │ │ └── ui_state.py │ └── presentation │ │ ├── __init__.py │ │ ├── backend_operation_dto.py │ │ ├── endpoints.py │ │ └── endpoints_helper.py ├── server_helper.py ├── show_frontend_syntax_enum.py └── utils │ ├── __init__.py │ ├── annotations.py │ ├── attribute_types │ ├── __init__.py │ ├── boolean.py │ ├── child_layout.py │ ├── color.py │ ├── enum.py │ ├── flex_direction.py │ ├── float.py │ ├── font_families.py │ ├── font_weight.py │ ├── image.py │ ├── integer.py │ ├── path.py │ ├── popup_types.py │ ├── string.py │ ├── symbol.py │ ├── type.py │ └── utils │ │ ├── __init__.py │ │ └── standard_text_processing.py │ ├── case_converter.py │ ├── custom_args.py │ ├── errors.py │ ├── logger.py │ └── transformer.py ├── docs ├── Makefile ├── README.md ├── _static │ ├── css │ │ └── custom.css │ ├── logo-dark-mode.png │ └── logo-light-mode.png ├── client.png ├── clinguin │ ├── backends │ │ ├── ClingconBackend.rst │ │ ├── ClingoBackend.rst │ │ ├── ClingoDLBackend.rst │ │ ├── ClingraphBackend.rst │ │ ├── ExplanationBackend.rst │ │ ├── FclingoBackend.rst │ │ └── index.rst │ ├── development │ │ ├── angular.rst │ │ ├── api.rst │ │ ├── contributing.rst │ │ ├── customBackend.rst │ │ ├── index.rst │ │ └── install.rst │ ├── examples │ │ ├── catdog.md │ │ ├── default.md │ │ ├── elevator.md │ │ ├── graph_coloring.md │ │ ├── index.rst │ │ ├── jobshop.md │ │ ├── knapsack.md │ │ ├── placement.md │ │ ├── skillmanager.md │ │ ├── study_regulations.md │ │ ├── sudoku.md │ │ ├── sudoku_advanced.md │ │ ├── sudoku_basic.md │ │ └── tree_browser.md │ ├── frontends │ │ ├── AngularFrontend.rst │ │ ├── TkinterFrontend.rst │ │ └── index.rst │ ├── help.rst │ ├── installation.rst │ ├── reference │ │ ├── communication.rst │ │ ├── control.rst │ │ ├── index.rst │ │ ├── input.rst │ │ ├── state.rst │ │ └── structure.rst │ └── use.rst ├── conf.py ├── context.png ├── domcontrol.png ├── domfiles.png ├── domstate.png ├── get.png ├── index.rst ├── input.png ├── json.png ├── logo-dark-mode.png ├── logo-light-mode.png ├── make.bat ├── operation.png ├── post.png ├── requirements.txt ├── server.png ├── uicontrol.png ├── uifiles.png ├── uistate.png └── workflow.png ├── examples ├── README.md ├── angular │ ├── catdog │ │ ├── README.md │ │ ├── encoding-explain-example.lp │ │ ├── encoding.lp │ │ ├── instance.lp │ │ ├── ui-explain-msg.lp │ │ ├── ui-explain.lp │ │ ├── ui-menu.lp │ │ ├── ui-people.lp │ │ ├── ui-tables.lp │ │ └── ui.gif │ ├── default │ │ ├── README.md │ │ ├── ui.gif │ │ └── ui.lp │ ├── elevator │ │ ├── README.md │ │ ├── encoding.lp │ │ ├── instance.lp │ │ ├── ui.gif │ │ └── ui.lp │ ├── graph_coloring │ │ ├── README.md │ │ ├── encoding.lp │ │ ├── instance.lp │ │ ├── ui.gif │ │ ├── ui.lp │ │ └── viz.lp │ ├── jobshop │ │ ├── README.md │ │ ├── encoding.lp │ │ ├── instance.lp │ │ ├── ui.gif │ │ └── ui.lp │ ├── knapsack │ │ ├── README.md │ │ ├── encoding.lp │ │ ├── instance.lp │ │ ├── ui.gif │ │ └── ui.lp │ ├── placement │ │ ├── README.md │ │ ├── encoding.lp │ │ ├── instance.lp │ │ ├── ui.gif │ │ └── ui.lp │ ├── skillmanager │ │ ├── README.md │ │ ├── encoding.lp │ │ ├── instance_hobby.lp │ │ ├── instance_programming.lp │ │ ├── ui.gif │ │ └── ui.lp │ ├── study_regulations │ │ ├── README.md │ │ ├── encoding.lp │ │ ├── instance.lp │ │ ├── ui.gif │ │ └── ui.lp │ ├── style │ │ ├── README.md │ │ ├── encoding.lp │ │ ├── out.png │ │ └── ui.lp │ ├── sudoku │ │ ├── README.md │ │ ├── encoding.lp │ │ ├── instance.lp │ │ ├── ui.gif │ │ └── ui.lp │ ├── sudoku_advanced │ │ ├── README.md │ │ ├── encoding.lp │ │ ├── instance.lp │ │ ├── out1.png │ │ ├── out2.png │ │ ├── out3.png │ │ ├── ui.gif │ │ └── ui.lp │ ├── sudoku_basic │ │ ├── README.md │ │ ├── encoding.lp │ │ ├── instance.lp │ │ ├── ui.gif │ │ └── ui.lp │ ├── tax │ │ ├── README.md │ │ ├── encoding.lp │ │ ├── instance.lp │ │ └── ui.lp │ ├── test │ │ ├── README.md │ │ ├── encoding.lp │ │ ├── instance.lp │ │ ├── ui.gif │ │ └── ui.lp │ └── tree_browser │ │ ├── README.md │ │ ├── encoding.lp │ │ ├── instance.lp │ │ ├── ui.gif │ │ ├── ui.lp │ │ └── viz.lp ├── test │ ├── test_00 │ │ ├── README.md │ │ ├── domain_file.lp │ │ ├── out.png │ │ └── ui.lp │ ├── test_01 │ │ ├── README.md │ │ ├── domain_file.lp │ │ ├── out1.png │ │ ├── out2.png │ │ ├── out3.png │ │ └── ui.lp │ ├── test_02 │ │ ├── README.md │ │ ├── domain_file.lp │ │ ├── out.png │ │ └── ui.lp │ ├── test_03 │ │ ├── README.md │ │ ├── domain_file.lp │ │ ├── out.png │ │ └── ui.lp │ ├── test_04 │ │ ├── README.md │ │ ├── domain_file.lp │ │ ├── out.png │ │ └── ui.lp │ ├── test_05 │ │ ├── README.md │ │ ├── domain_file.lp │ │ ├── out.png │ │ ├── test_05.png │ │ └── ui.lp │ ├── test_06 │ │ ├── README.md │ │ ├── domain_file.lp │ │ ├── out.png │ │ ├── test_06.png │ │ ├── ui.lp │ │ ├── ui_abs_static.lp │ │ └── ui_rel_static.lp │ ├── test_07 │ │ ├── README.md │ │ ├── domain_file.lp │ │ ├── out.png │ │ ├── tommi.jpg │ │ └── ui.lp │ ├── test_08 │ │ ├── README.md │ │ ├── domain_file.lp │ │ ├── out1.png │ │ ├── out2.png │ │ └── ui.lp │ ├── test_09 │ │ ├── README.md │ │ ├── domain_file.lp │ │ ├── out.png │ │ └── ui.lp │ ├── test_10 │ │ ├── README.md │ │ ├── domain_file.lp │ │ ├── out.png │ │ └── ui.lp │ ├── test_11 │ │ ├── README.md │ │ ├── domain_file.lp │ │ ├── out.png │ │ └── ui.lp │ └── test_12 │ │ ├── README.md │ │ ├── domain_file.lp │ │ ├── out.png │ │ └── ui.lp └── tkinter │ ├── button │ ├── README.md │ ├── out.png │ └── ui.lp │ ├── graph_coloring │ ├── README.md │ ├── encoding.lp │ ├── out.png │ ├── ui.lp │ └── viz.lp │ ├── housing │ ├── README.md │ ├── encoding.lp │ ├── instance.lp │ ├── out.png │ └── ui.lp │ ├── study_regulations │ ├── README.md │ ├── encoding.lp │ ├── instance.lp │ ├── out.png │ └── ui.lp │ ├── sudoku │ ├── README.md │ ├── encoding.lp │ ├── instance.lp │ ├── out.png │ ├── sudoku.png │ └── ui.lp │ ├── sudoku_explained │ ├── README.md │ ├── encoding.lp │ ├── instance.lp │ ├── out1.png │ ├── out2.png │ └── ui.lp │ └── sudoku_single_shot │ ├── README.md │ ├── encoding.lp │ ├── instance.lp │ ├── out.png │ └── ui.lp ├── noxfile.py ├── pyproject.toml ├── setup.cfg ├── setup.py ├── start.py └── tests ├── reference_json_output ├── __init__.py ├── basic_test_00.py ├── basic_test_01.py ├── basic_test_02.py ├── basic_test_03.py ├── basic_test_04.py ├── basic_test_05.py ├── basic_test_06.py ├── basic_test_07.py ├── basic_test_08.py ├── basic_test_09.py ├── basic_test_10.py ├── basic_test_11.py ├── basic_test_12.py ├── coloring.py ├── health.py └── sudoku.py ├── test_backend_unit_00_05.py ├── test_backend_unit_06_12.py ├── test_basic_00_05.py ├── test_basic_06_12.py ├── test_clingraph.py ├── test_sudoku.py └── utils_test_utils.py /.flake8: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/.flake8 -------------------------------------------------------------------------------- /.github/conda.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/.github/conda.py -------------------------------------------------------------------------------- /.github/conda/meta.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/.github/conda/meta.yaml -------------------------------------------------------------------------------- /.github/deploy.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/.github/deploy.yml -------------------------------------------------------------------------------- /.github/pipsource.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/.github/pipsource.py -------------------------------------------------------------------------------- /.github/requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/.github/requirements.txt -------------------------------------------------------------------------------- /.github/trigger.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/.github/trigger.sh -------------------------------------------------------------------------------- /.github/workflows/conda-dev.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/.github/workflows/conda-dev.yml -------------------------------------------------------------------------------- /.github/workflows/pip_installation_check.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/.github/workflows/pip_installation_check.yml -------------------------------------------------------------------------------- /.github/workflows/pipsource.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/.github/workflows/pipsource.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/.gitignore -------------------------------------------------------------------------------- /.pylintrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/.pylintrc -------------------------------------------------------------------------------- /.readthedocs.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/.readthedocs.yaml -------------------------------------------------------------------------------- /CHANGES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/CHANGES.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/LICENSE -------------------------------------------------------------------------------- /MANIFEST.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/MANIFEST.in -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/README.md -------------------------------------------------------------------------------- /angular_frontend/angular.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/angular.json -------------------------------------------------------------------------------- /angular_frontend/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/package.json -------------------------------------------------------------------------------- /angular_frontend/src/app/app.component.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/app.component.html -------------------------------------------------------------------------------- /angular_frontend/src/app/app.component.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/app.component.scss -------------------------------------------------------------------------------- /angular_frontend/src/app/app.component.spec.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/app.component.spec.ts -------------------------------------------------------------------------------- /angular_frontend/src/app/app.component.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/app.component.ts -------------------------------------------------------------------------------- /angular_frontend/src/app/app.module.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/app.module.ts -------------------------------------------------------------------------------- /angular_frontend/src/app/attribute-helper.service.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/attribute-helper.service.ts -------------------------------------------------------------------------------- /angular_frontend/src/app/button/button.component.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/button/button.component.html -------------------------------------------------------------------------------- /angular_frontend/src/app/button/button.component.scss: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /angular_frontend/src/app/button/button.component.spec.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/button/button.component.spec.ts -------------------------------------------------------------------------------- /angular_frontend/src/app/button/button.component.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/button/button.component.ts -------------------------------------------------------------------------------- /angular_frontend/src/app/callback-helper.service.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/callback-helper.service.ts -------------------------------------------------------------------------------- /angular_frontend/src/app/canvas/canvas.component.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/canvas/canvas.component.html -------------------------------------------------------------------------------- /angular_frontend/src/app/canvas/canvas.component.scss: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /angular_frontend/src/app/canvas/canvas.component.spec.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/canvas/canvas.component.spec.ts -------------------------------------------------------------------------------- /angular_frontend/src/app/canvas/canvas.component.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/canvas/canvas.component.ts -------------------------------------------------------------------------------- /angular_frontend/src/app/checkbox/checkbox.component.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/checkbox/checkbox.component.html -------------------------------------------------------------------------------- /angular_frontend/src/app/checkbox/checkbox.component.scss: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /angular_frontend/src/app/checkbox/checkbox.component.spec.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/checkbox/checkbox.component.spec.ts -------------------------------------------------------------------------------- /angular_frontend/src/app/checkbox/checkbox.component.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/checkbox/checkbox.component.ts -------------------------------------------------------------------------------- /angular_frontend/src/app/child-bearer.service.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/child-bearer.service.ts -------------------------------------------------------------------------------- /angular_frontend/src/app/collapse/collapse.component.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/collapse/collapse.component.html -------------------------------------------------------------------------------- /angular_frontend/src/app/collapse/collapse.component.scss: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /angular_frontend/src/app/collapse/collapse.component.spec.ts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /angular_frontend/src/app/collapse/collapse.component.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/collapse/collapse.component.ts -------------------------------------------------------------------------------- /angular_frontend/src/app/component-creation.service.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/component-creation.service.ts -------------------------------------------------------------------------------- /angular_frontend/src/app/config.service.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/config.service.ts -------------------------------------------------------------------------------- /angular_frontend/src/app/container/container.component.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/container/container.component.html -------------------------------------------------------------------------------- /angular_frontend/src/app/container/container.component.scss: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /angular_frontend/src/app/container/container.component.spec.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/container/container.component.spec.ts -------------------------------------------------------------------------------- /angular_frontend/src/app/container/container.component.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/container/container.component.ts -------------------------------------------------------------------------------- /angular_frontend/src/app/context-menu.service.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/context-menu.service.ts -------------------------------------------------------------------------------- /angular_frontend/src/app/context-menu/context-menu.component.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/context-menu/context-menu.component.html -------------------------------------------------------------------------------- /angular_frontend/src/app/context-menu/context-menu.component.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/context-menu/context-menu.component.scss -------------------------------------------------------------------------------- /angular_frontend/src/app/context-menu/context-menu.component.spec.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/context-menu/context-menu.component.spec.ts -------------------------------------------------------------------------------- /angular_frontend/src/app/context-menu/context-menu.component.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/context-menu/context-menu.component.ts -------------------------------------------------------------------------------- /angular_frontend/src/app/context.service.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/context.service.ts -------------------------------------------------------------------------------- /angular_frontend/src/app/draw-frontend.service.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/draw-frontend.service.ts -------------------------------------------------------------------------------- /angular_frontend/src/app/dropdown-menu/dropdown-menu.component.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/dropdown-menu/dropdown-menu.component.html -------------------------------------------------------------------------------- /angular_frontend/src/app/dropdown-menu/dropdown-menu.component.scss: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /angular_frontend/src/app/dropdown-menu/dropdown-menu.component.spec.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/dropdown-menu/dropdown-menu.component.spec.ts -------------------------------------------------------------------------------- /angular_frontend/src/app/dropdown-menu/dropdown-menu.component.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/dropdown-menu/dropdown-menu.component.ts -------------------------------------------------------------------------------- /angular_frontend/src/app/element-lookup.service.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/element-lookup.service.ts -------------------------------------------------------------------------------- /angular_frontend/src/app/file-input/file-input.component.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/file-input/file-input.component.html -------------------------------------------------------------------------------- /angular_frontend/src/app/file-input/file-input.component.scss: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /angular_frontend/src/app/file-input/file-input.component.spec.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/file-input/file-input.component.spec.ts -------------------------------------------------------------------------------- /angular_frontend/src/app/file-input/file-input.component.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/file-input/file-input.component.ts -------------------------------------------------------------------------------- /angular_frontend/src/app/http.service.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/http.service.ts -------------------------------------------------------------------------------- /angular_frontend/src/app/label/label.component.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/label/label.component.html -------------------------------------------------------------------------------- /angular_frontend/src/app/label/label.component.scss: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /angular_frontend/src/app/label/label.component.spec.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/label/label.component.spec.ts -------------------------------------------------------------------------------- /angular_frontend/src/app/label/label.component.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/label/label.component.ts -------------------------------------------------------------------------------- /angular_frontend/src/app/line/line.component.html: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /angular_frontend/src/app/line/line.component.scss: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /angular_frontend/src/app/line/line.component.spec.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/line/line.component.spec.ts -------------------------------------------------------------------------------- /angular_frontend/src/app/line/line.component.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/line/line.component.ts -------------------------------------------------------------------------------- /angular_frontend/src/app/locator.service.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/locator.service.ts -------------------------------------------------------------------------------- /angular_frontend/src/app/menu-bar/menu-bar.component.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/menu-bar/menu-bar.component.html -------------------------------------------------------------------------------- /angular_frontend/src/app/menu-bar/menu-bar.component.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/menu-bar/menu-bar.component.scss -------------------------------------------------------------------------------- /angular_frontend/src/app/menu-bar/menu-bar.component.spec.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/menu-bar/menu-bar.component.spec.ts -------------------------------------------------------------------------------- /angular_frontend/src/app/menu-bar/menu-bar.component.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/menu-bar/menu-bar.component.ts -------------------------------------------------------------------------------- /angular_frontend/src/app/message/message.component.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/message/message.component.html -------------------------------------------------------------------------------- /angular_frontend/src/app/message/message.component.scss: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /angular_frontend/src/app/message/message.component.spec.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/message/message.component.spec.ts -------------------------------------------------------------------------------- /angular_frontend/src/app/message/message.component.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/message/message.component.ts -------------------------------------------------------------------------------- /angular_frontend/src/app/modal-ref.service.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/modal-ref.service.ts -------------------------------------------------------------------------------- /angular_frontend/src/app/modal/modal.component.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/modal/modal.component.html -------------------------------------------------------------------------------- /angular_frontend/src/app/modal/modal.component.scss: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /angular_frontend/src/app/modal/modal.component.spec.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/modal/modal.component.spec.ts -------------------------------------------------------------------------------- /angular_frontend/src/app/modal/modal.component.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/modal/modal.component.ts -------------------------------------------------------------------------------- /angular_frontend/src/app/progress-bar/progress-bar.component.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/progress-bar/progress-bar.component.html -------------------------------------------------------------------------------- /angular_frontend/src/app/progress-bar/progress-bar.component.scss: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /angular_frontend/src/app/progress-bar/progress-bar.component.spec.ts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /angular_frontend/src/app/progress-bar/progress-bar.component.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/progress-bar/progress-bar.component.ts -------------------------------------------------------------------------------- /angular_frontend/src/app/sidebar/sidebar.component.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/sidebar/sidebar.component.html -------------------------------------------------------------------------------- /angular_frontend/src/app/sidebar/sidebar.component.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/sidebar/sidebar.component.scss -------------------------------------------------------------------------------- /angular_frontend/src/app/sidebar/sidebar.component.spec.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/sidebar/sidebar.component.spec.ts -------------------------------------------------------------------------------- /angular_frontend/src/app/sidebar/sidebar.component.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/sidebar/sidebar.component.ts -------------------------------------------------------------------------------- /angular_frontend/src/app/tabs/tabs.component.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/tabs/tabs.component.html -------------------------------------------------------------------------------- /angular_frontend/src/app/tabs/tabs.component.scss: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /angular_frontend/src/app/tabs/tabs.component.spec.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/tabs/tabs.component.spec.ts -------------------------------------------------------------------------------- /angular_frontend/src/app/tabs/tabs.component.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/tabs/tabs.component.ts -------------------------------------------------------------------------------- /angular_frontend/src/app/textfield/textfield.component.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/textfield/textfield.component.html -------------------------------------------------------------------------------- /angular_frontend/src/app/textfield/textfield.component.scss: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /angular_frontend/src/app/textfield/textfield.component.spec.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/textfield/textfield.component.spec.ts -------------------------------------------------------------------------------- /angular_frontend/src/app/textfield/textfield.component.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/textfield/textfield.component.ts -------------------------------------------------------------------------------- /angular_frontend/src/app/types/json-response.dto.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/types/json-response.dto.ts -------------------------------------------------------------------------------- /angular_frontend/src/app/types/server-request.ts: -------------------------------------------------------------------------------- 1 | export interface ServerRequest { 2 | function: string 3 | } -------------------------------------------------------------------------------- /angular_frontend/src/app/window/window.component.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/window/window.component.html -------------------------------------------------------------------------------- /angular_frontend/src/app/window/window.component.scss: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /angular_frontend/src/app/window/window.component.spec.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/window/window.component.spec.ts -------------------------------------------------------------------------------- /angular_frontend/src/app/window/window.component.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/app/window/window.component.ts -------------------------------------------------------------------------------- /angular_frontend/src/assets/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /angular_frontend/src/assets/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/assets/config.json -------------------------------------------------------------------------------- /angular_frontend/src/assets/images/default.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/assets/images/default.svg -------------------------------------------------------------------------------- /angular_frontend/src/favicon.ico: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/favicon.ico -------------------------------------------------------------------------------- /angular_frontend/src/icon.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/icon.svg -------------------------------------------------------------------------------- /angular_frontend/src/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/index.html -------------------------------------------------------------------------------- /angular_frontend/src/leader-line.d.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/leader-line.d.ts -------------------------------------------------------------------------------- /angular_frontend/src/main.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/main.ts -------------------------------------------------------------------------------- /angular_frontend/src/styles.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/src/styles.scss -------------------------------------------------------------------------------- /angular_frontend/tsconfig.app.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/tsconfig.app.json -------------------------------------------------------------------------------- /angular_frontend/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/tsconfig.json -------------------------------------------------------------------------------- /angular_frontend/tsconfig.spec.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/angular_frontend/tsconfig.spec.json -------------------------------------------------------------------------------- /clinguin/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/__init__.py -------------------------------------------------------------------------------- /clinguin/client/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/client/__init__.py -------------------------------------------------------------------------------- /clinguin/client/api/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /clinguin/client/api/api.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/client/api/api.py -------------------------------------------------------------------------------- /clinguin/client/api/frontend_operation_dto.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/client/api/frontend_operation_dto.py -------------------------------------------------------------------------------- /clinguin/client/application/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/client/application/__init__.py -------------------------------------------------------------------------------- /clinguin/client/application/client_base.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/client/application/client_base.py -------------------------------------------------------------------------------- /clinguin/client/presentation/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /clinguin/client/presentation/abstract_frontend.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/client/presentation/abstract_frontend.py -------------------------------------------------------------------------------- /clinguin/client/presentation/frontends/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/client/presentation/frontends/__init__.py -------------------------------------------------------------------------------- /clinguin/client/presentation/frontends/angular_frontend/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /clinguin/client/presentation/frontends/angular_frontend/angular_frontend.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/client/presentation/frontends/angular_frontend/angular_frontend.py -------------------------------------------------------------------------------- /clinguin/client/presentation/frontends/angular_frontend/clinguin_angular_frontend/3rdpartylicenses.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/client/presentation/frontends/angular_frontend/clinguin_angular_frontend/3rdpartylicenses.txt -------------------------------------------------------------------------------- /clinguin/client/presentation/frontends/angular_frontend/clinguin_angular_frontend/assets/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/client/presentation/frontends/angular_frontend/clinguin_angular_frontend/assets/config.json -------------------------------------------------------------------------------- /clinguin/client/presentation/frontends/angular_frontend/clinguin_angular_frontend/assets/images/default.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/client/presentation/frontends/angular_frontend/clinguin_angular_frontend/assets/images/default.svg -------------------------------------------------------------------------------- /clinguin/client/presentation/frontends/angular_frontend/clinguin_angular_frontend/favicon.ico: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/client/presentation/frontends/angular_frontend/clinguin_angular_frontend/favicon.ico -------------------------------------------------------------------------------- /clinguin/client/presentation/frontends/angular_frontend/clinguin_angular_frontend/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/client/presentation/frontends/angular_frontend/clinguin_angular_frontend/index.html -------------------------------------------------------------------------------- /clinguin/client/presentation/frontends/angular_frontend/clinguin_angular_frontend/main.43c92bdc249f5746.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/client/presentation/frontends/angular_frontend/clinguin_angular_frontend/main.43c92bdc249f5746.js -------------------------------------------------------------------------------- /clinguin/client/presentation/frontends/angular_frontend/clinguin_angular_frontend/polyfills.26316270d5c34064.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/client/presentation/frontends/angular_frontend/clinguin_angular_frontend/polyfills.26316270d5c34064.js -------------------------------------------------------------------------------- /clinguin/client/presentation/frontends/angular_frontend/clinguin_angular_frontend/runtime.496fedc6e58b1167.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/client/presentation/frontends/angular_frontend/clinguin_angular_frontend/runtime.496fedc6e58b1167.js -------------------------------------------------------------------------------- /clinguin/client/presentation/frontends/angular_frontend/clinguin_angular_frontend/scripts.76a567df885bfa47.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/client/presentation/frontends/angular_frontend/clinguin_angular_frontend/scripts.76a567df885bfa47.js -------------------------------------------------------------------------------- /clinguin/client/presentation/frontends/angular_frontend/clinguin_angular_frontend/styles.1b9129ce3468cf82.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/client/presentation/frontends/angular_frontend/clinguin_angular_frontend/styles.1b9129ce3468cf82.css -------------------------------------------------------------------------------- /clinguin/client/presentation/frontends/tkinter_frontend/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /clinguin/client/presentation/frontends/tkinter_frontend/tkinter_elements/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/client/presentation/frontends/tkinter_frontend/tkinter_elements/__init__.py -------------------------------------------------------------------------------- /clinguin/client/presentation/frontends/tkinter_frontend/tkinter_elements/button.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/client/presentation/frontends/tkinter_frontend/tkinter_elements/button.py -------------------------------------------------------------------------------- /clinguin/client/presentation/frontends/tkinter_frontend/tkinter_elements/canvas.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/client/presentation/frontends/tkinter_frontend/tkinter_elements/canvas.py -------------------------------------------------------------------------------- /clinguin/client/presentation/frontends/tkinter_frontend/tkinter_elements/container.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/client/presentation/frontends/tkinter_frontend/tkinter_elements/container.py -------------------------------------------------------------------------------- /clinguin/client/presentation/frontends/tkinter_frontend/tkinter_elements/dropdownmenu.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/client/presentation/frontends/tkinter_frontend/tkinter_elements/dropdownmenu.py -------------------------------------------------------------------------------- /clinguin/client/presentation/frontends/tkinter_frontend/tkinter_elements/dropdownmenu_item.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/client/presentation/frontends/tkinter_frontend/tkinter_elements/dropdownmenu_item.py -------------------------------------------------------------------------------- /clinguin/client/presentation/frontends/tkinter_frontend/tkinter_elements/label.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/client/presentation/frontends/tkinter_frontend/tkinter_elements/label.py -------------------------------------------------------------------------------- /clinguin/client/presentation/frontends/tkinter_frontend/tkinter_elements/menu_bar.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/client/presentation/frontends/tkinter_frontend/tkinter_elements/menu_bar.py -------------------------------------------------------------------------------- /clinguin/client/presentation/frontends/tkinter_frontend/tkinter_elements/menu_bar_section.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/client/presentation/frontends/tkinter_frontend/tkinter_elements/menu_bar_section.py -------------------------------------------------------------------------------- /clinguin/client/presentation/frontends/tkinter_frontend/tkinter_elements/menu_bar_section_item.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/client/presentation/frontends/tkinter_frontend/tkinter_elements/menu_bar_section_item.py -------------------------------------------------------------------------------- /clinguin/client/presentation/frontends/tkinter_frontend/tkinter_elements/message.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/client/presentation/frontends/tkinter_frontend/tkinter_elements/message.py -------------------------------------------------------------------------------- /clinguin/client/presentation/frontends/tkinter_frontend/tkinter_elements/root_cmp.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/client/presentation/frontends/tkinter_frontend/tkinter_elements/root_cmp.py -------------------------------------------------------------------------------- /clinguin/client/presentation/frontends/tkinter_frontend/tkinter_elements/window.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/client/presentation/frontends/tkinter_frontend/tkinter_elements/window.py -------------------------------------------------------------------------------- /clinguin/client/presentation/frontends/tkinter_frontend/tkinter_frontend.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/client/presentation/frontends/tkinter_frontend/tkinter_frontend.py -------------------------------------------------------------------------------- /clinguin/client/presentation/frontends/tkinter_frontend/tkinter_utils/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/client/presentation/frontends/tkinter_frontend/tkinter_utils/__init__.py -------------------------------------------------------------------------------- /clinguin/client/presentation/frontends/tkinter_frontend/tkinter_utils/attribute_names.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/client/presentation/frontends/tkinter_frontend/tkinter_utils/attribute_names.py -------------------------------------------------------------------------------- /clinguin/client/presentation/frontends/tkinter_frontend/tkinter_utils/call_back_definition.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/client/presentation/frontends/tkinter_frontend/tkinter_utils/call_back_definition.py -------------------------------------------------------------------------------- /clinguin/client/presentation/frontends/tkinter_frontend/tkinter_utils/callback_names.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/client/presentation/frontends/tkinter_frontend/tkinter_utils/callback_names.py -------------------------------------------------------------------------------- /clinguin/client/presentation/frontends/tkinter_frontend/tkinter_utils/configure_border.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/client/presentation/frontends/tkinter_frontend/tkinter_utils/configure_border.py -------------------------------------------------------------------------------- /clinguin/client/presentation/frontends/tkinter_frontend/tkinter_utils/configure_font.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/client/presentation/frontends/tkinter_frontend/tkinter_utils/configure_font.py -------------------------------------------------------------------------------- /clinguin/client/presentation/frontends/tkinter_frontend/tkinter_utils/configure_size.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/client/presentation/frontends/tkinter_frontend/tkinter_utils/configure_size.py -------------------------------------------------------------------------------- /clinguin/client/presentation/frontends/tkinter_frontend/tkinter_utils/configure_text_element_size.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/client/presentation/frontends/tkinter_frontend/tkinter_utils/configure_text_element_size.py -------------------------------------------------------------------------------- /clinguin/client/presentation/frontends/tkinter_frontend/tkinter_utils/extension_class.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/client/presentation/frontends/tkinter_frontend/tkinter_utils/extension_class.py -------------------------------------------------------------------------------- /clinguin/client/presentation/frontends/tkinter_frontend/tkinter_utils/layout_controller.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/client/presentation/frontends/tkinter_frontend/tkinter_utils/layout_controller.py -------------------------------------------------------------------------------- /clinguin/client/presentation/frontends/tkinter_frontend/tkinter_utils/layout_follower.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/client/presentation/frontends/tkinter_frontend/tkinter_utils/layout_follower.py -------------------------------------------------------------------------------- /clinguin/client_helper.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/client_helper.py -------------------------------------------------------------------------------- /clinguin/parse_input.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/parse_input.py -------------------------------------------------------------------------------- /clinguin/server/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/server/__init__.py -------------------------------------------------------------------------------- /clinguin/server/application/__init__.py: -------------------------------------------------------------------------------- 1 | # This is a package 2 | -------------------------------------------------------------------------------- /clinguin/server/application/attribute.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/server/application/attribute.py -------------------------------------------------------------------------------- /clinguin/server/application/backends/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/server/application/backends/__init__.py -------------------------------------------------------------------------------- /clinguin/server/application/backends/clingcon_backend.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/server/application/backends/clingcon_backend.py -------------------------------------------------------------------------------- /clinguin/server/application/backends/clingo_backend.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/server/application/backends/clingo_backend.py -------------------------------------------------------------------------------- /clinguin/server/application/backends/clingodl_backend.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/server/application/backends/clingodl_backend.py -------------------------------------------------------------------------------- /clinguin/server/application/backends/clingraph_backend.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/server/application/backends/clingraph_backend.py -------------------------------------------------------------------------------- /clinguin/server/application/backends/explanation_backend.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/server/application/backends/explanation_backend.py -------------------------------------------------------------------------------- /clinguin/server/application/backends/fclingo_backend.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/server/application/backends/fclingo_backend.py -------------------------------------------------------------------------------- /clinguin/server/application/backends/standard_utils/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /clinguin/server/application/backends/standard_utils/clingo_logger.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/server/application/backends/standard_utils/clingo_logger.py -------------------------------------------------------------------------------- /clinguin/server/application/backends/standard_utils/default_ui.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/server/application/backends/standard_utils/default_ui.lp -------------------------------------------------------------------------------- /clinguin/server/application/backends/theory_backend.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/server/application/backends/theory_backend.py -------------------------------------------------------------------------------- /clinguin/server/application/callback.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/server/application/callback.py -------------------------------------------------------------------------------- /clinguin/server/application/element.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/server/application/element.py -------------------------------------------------------------------------------- /clinguin/server/application/standard_json_encoder.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/server/application/standard_json_encoder.py -------------------------------------------------------------------------------- /clinguin/server/data/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /clinguin/server/data/attribute.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/server/data/attribute.py -------------------------------------------------------------------------------- /clinguin/server/data/callback.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/server/data/callback.py -------------------------------------------------------------------------------- /clinguin/server/data/clinguin_context.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/server/data/clinguin_context.py -------------------------------------------------------------------------------- /clinguin/server/data/domain_state.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/server/data/domain_state.py -------------------------------------------------------------------------------- /clinguin/server/data/element.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/server/data/element.py -------------------------------------------------------------------------------- /clinguin/server/data/ui_state.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/server/data/ui_state.py -------------------------------------------------------------------------------- /clinguin/server/presentation/__init__.py: -------------------------------------------------------------------------------- 1 | # This is a package 2 | -------------------------------------------------------------------------------- /clinguin/server/presentation/backend_operation_dto.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/server/presentation/backend_operation_dto.py -------------------------------------------------------------------------------- /clinguin/server/presentation/endpoints.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/server/presentation/endpoints.py -------------------------------------------------------------------------------- /clinguin/server/presentation/endpoints_helper.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/server/presentation/endpoints_helper.py -------------------------------------------------------------------------------- /clinguin/server_helper.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/server_helper.py -------------------------------------------------------------------------------- /clinguin/show_frontend_syntax_enum.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/show_frontend_syntax_enum.py -------------------------------------------------------------------------------- /clinguin/utils/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/utils/__init__.py -------------------------------------------------------------------------------- /clinguin/utils/annotations.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/utils/annotations.py -------------------------------------------------------------------------------- /clinguin/utils/attribute_types/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/utils/attribute_types/__init__.py -------------------------------------------------------------------------------- /clinguin/utils/attribute_types/boolean.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/utils/attribute_types/boolean.py -------------------------------------------------------------------------------- /clinguin/utils/attribute_types/child_layout.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/utils/attribute_types/child_layout.py -------------------------------------------------------------------------------- /clinguin/utils/attribute_types/color.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/utils/attribute_types/color.py -------------------------------------------------------------------------------- /clinguin/utils/attribute_types/enum.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/utils/attribute_types/enum.py -------------------------------------------------------------------------------- /clinguin/utils/attribute_types/flex_direction.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/utils/attribute_types/flex_direction.py -------------------------------------------------------------------------------- /clinguin/utils/attribute_types/float.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/utils/attribute_types/float.py -------------------------------------------------------------------------------- /clinguin/utils/attribute_types/font_families.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/utils/attribute_types/font_families.py -------------------------------------------------------------------------------- /clinguin/utils/attribute_types/font_weight.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/utils/attribute_types/font_weight.py -------------------------------------------------------------------------------- /clinguin/utils/attribute_types/image.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/utils/attribute_types/image.py -------------------------------------------------------------------------------- /clinguin/utils/attribute_types/integer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/utils/attribute_types/integer.py -------------------------------------------------------------------------------- /clinguin/utils/attribute_types/path.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/utils/attribute_types/path.py -------------------------------------------------------------------------------- /clinguin/utils/attribute_types/popup_types.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/utils/attribute_types/popup_types.py -------------------------------------------------------------------------------- /clinguin/utils/attribute_types/string.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/utils/attribute_types/string.py -------------------------------------------------------------------------------- /clinguin/utils/attribute_types/symbol.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/utils/attribute_types/symbol.py -------------------------------------------------------------------------------- /clinguin/utils/attribute_types/type.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/utils/attribute_types/type.py -------------------------------------------------------------------------------- /clinguin/utils/attribute_types/utils/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /clinguin/utils/attribute_types/utils/standard_text_processing.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/utils/attribute_types/utils/standard_text_processing.py -------------------------------------------------------------------------------- /clinguin/utils/case_converter.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/utils/case_converter.py -------------------------------------------------------------------------------- /clinguin/utils/custom_args.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/utils/custom_args.py -------------------------------------------------------------------------------- /clinguin/utils/errors.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/utils/errors.py -------------------------------------------------------------------------------- /clinguin/utils/logger.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/utils/logger.py -------------------------------------------------------------------------------- /clinguin/utils/transformer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/clinguin/utils/transformer.py -------------------------------------------------------------------------------- /docs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/Makefile -------------------------------------------------------------------------------- /docs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/README.md -------------------------------------------------------------------------------- /docs/_static/css/custom.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/_static/css/custom.css -------------------------------------------------------------------------------- /docs/_static/logo-dark-mode.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/_static/logo-dark-mode.png -------------------------------------------------------------------------------- /docs/_static/logo-light-mode.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/_static/logo-light-mode.png -------------------------------------------------------------------------------- /docs/client.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/client.png -------------------------------------------------------------------------------- /docs/clinguin/backends/ClingconBackend.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/clinguin/backends/ClingconBackend.rst -------------------------------------------------------------------------------- /docs/clinguin/backends/ClingoBackend.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/clinguin/backends/ClingoBackend.rst -------------------------------------------------------------------------------- /docs/clinguin/backends/ClingoDLBackend.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/clinguin/backends/ClingoDLBackend.rst -------------------------------------------------------------------------------- /docs/clinguin/backends/ClingraphBackend.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/clinguin/backends/ClingraphBackend.rst -------------------------------------------------------------------------------- /docs/clinguin/backends/ExplanationBackend.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/clinguin/backends/ExplanationBackend.rst -------------------------------------------------------------------------------- /docs/clinguin/backends/FclingoBackend.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/clinguin/backends/FclingoBackend.rst -------------------------------------------------------------------------------- /docs/clinguin/backends/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/clinguin/backends/index.rst -------------------------------------------------------------------------------- /docs/clinguin/development/angular.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/clinguin/development/angular.rst -------------------------------------------------------------------------------- /docs/clinguin/development/api.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/clinguin/development/api.rst -------------------------------------------------------------------------------- /docs/clinguin/development/contributing.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/clinguin/development/contributing.rst -------------------------------------------------------------------------------- /docs/clinguin/development/customBackend.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/clinguin/development/customBackend.rst -------------------------------------------------------------------------------- /docs/clinguin/development/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/clinguin/development/index.rst -------------------------------------------------------------------------------- /docs/clinguin/development/install.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/clinguin/development/install.rst -------------------------------------------------------------------------------- /docs/clinguin/examples/catdog.md: -------------------------------------------------------------------------------- 1 | ../../../examples/angular/catdog/README.md -------------------------------------------------------------------------------- /docs/clinguin/examples/default.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/clinguin/examples/default.md -------------------------------------------------------------------------------- /docs/clinguin/examples/elevator.md: -------------------------------------------------------------------------------- 1 | ../../../examples/angular/elevator/README.md -------------------------------------------------------------------------------- /docs/clinguin/examples/graph_coloring.md: -------------------------------------------------------------------------------- 1 | ../../../examples/angular/graph_coloring/README.md -------------------------------------------------------------------------------- /docs/clinguin/examples/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/clinguin/examples/index.rst -------------------------------------------------------------------------------- /docs/clinguin/examples/jobshop.md: -------------------------------------------------------------------------------- 1 | ../../../examples/angular/jobshop/README.md -------------------------------------------------------------------------------- /docs/clinguin/examples/knapsack.md: -------------------------------------------------------------------------------- 1 | ../../../examples/angular/knapsack/README.md -------------------------------------------------------------------------------- /docs/clinguin/examples/placement.md: -------------------------------------------------------------------------------- 1 | ../../../examples/angular/placement/README.md -------------------------------------------------------------------------------- /docs/clinguin/examples/skillmanager.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/clinguin/examples/skillmanager.md -------------------------------------------------------------------------------- /docs/clinguin/examples/study_regulations.md: -------------------------------------------------------------------------------- 1 | ../../../examples/angular/study_regulations/README.md -------------------------------------------------------------------------------- /docs/clinguin/examples/sudoku.md: -------------------------------------------------------------------------------- 1 | ../../../examples/angular/sudoku/README.md -------------------------------------------------------------------------------- /docs/clinguin/examples/sudoku_advanced.md: -------------------------------------------------------------------------------- 1 | ../../../examples/angular/sudoku_advanced/README.md -------------------------------------------------------------------------------- /docs/clinguin/examples/sudoku_basic.md: -------------------------------------------------------------------------------- 1 | ../../../examples/angular/sudoku_basic/README.md -------------------------------------------------------------------------------- /docs/clinguin/examples/tree_browser.md: -------------------------------------------------------------------------------- 1 | ../../../examples/angular/tree_browser/README.md -------------------------------------------------------------------------------- /docs/clinguin/frontends/AngularFrontend.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/clinguin/frontends/AngularFrontend.rst -------------------------------------------------------------------------------- /docs/clinguin/frontends/TkinterFrontend.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/clinguin/frontends/TkinterFrontend.rst -------------------------------------------------------------------------------- /docs/clinguin/frontends/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/clinguin/frontends/index.rst -------------------------------------------------------------------------------- /docs/clinguin/help.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/clinguin/help.rst -------------------------------------------------------------------------------- /docs/clinguin/installation.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/clinguin/installation.rst -------------------------------------------------------------------------------- /docs/clinguin/reference/communication.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/clinguin/reference/communication.rst -------------------------------------------------------------------------------- /docs/clinguin/reference/control.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/clinguin/reference/control.rst -------------------------------------------------------------------------------- /docs/clinguin/reference/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/clinguin/reference/index.rst -------------------------------------------------------------------------------- /docs/clinguin/reference/input.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/clinguin/reference/input.rst -------------------------------------------------------------------------------- /docs/clinguin/reference/state.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/clinguin/reference/state.rst -------------------------------------------------------------------------------- /docs/clinguin/reference/structure.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/clinguin/reference/structure.rst -------------------------------------------------------------------------------- /docs/clinguin/use.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/clinguin/use.rst -------------------------------------------------------------------------------- /docs/conf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/conf.py -------------------------------------------------------------------------------- /docs/context.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/context.png -------------------------------------------------------------------------------- /docs/domcontrol.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/domcontrol.png -------------------------------------------------------------------------------- /docs/domfiles.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/domfiles.png -------------------------------------------------------------------------------- /docs/domstate.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/domstate.png -------------------------------------------------------------------------------- /docs/get.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/get.png -------------------------------------------------------------------------------- /docs/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/index.rst -------------------------------------------------------------------------------- /docs/input.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/input.png -------------------------------------------------------------------------------- /docs/json.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/json.png -------------------------------------------------------------------------------- /docs/logo-dark-mode.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/logo-dark-mode.png -------------------------------------------------------------------------------- /docs/logo-light-mode.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/logo-light-mode.png -------------------------------------------------------------------------------- /docs/make.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/make.bat -------------------------------------------------------------------------------- /docs/operation.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/operation.png -------------------------------------------------------------------------------- /docs/post.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/post.png -------------------------------------------------------------------------------- /docs/requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/requirements.txt -------------------------------------------------------------------------------- /docs/server.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/server.png -------------------------------------------------------------------------------- /docs/uicontrol.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/uicontrol.png -------------------------------------------------------------------------------- /docs/uifiles.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/uifiles.png -------------------------------------------------------------------------------- /docs/uistate.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/uistate.png -------------------------------------------------------------------------------- /docs/workflow.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/docs/workflow.png -------------------------------------------------------------------------------- /examples/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/README.md -------------------------------------------------------------------------------- /examples/angular/catdog/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/catdog/README.md -------------------------------------------------------------------------------- /examples/angular/catdog/encoding-explain-example.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/catdog/encoding-explain-example.lp -------------------------------------------------------------------------------- /examples/angular/catdog/encoding.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/catdog/encoding.lp -------------------------------------------------------------------------------- /examples/angular/catdog/instance.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/catdog/instance.lp -------------------------------------------------------------------------------- /examples/angular/catdog/ui-explain-msg.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/catdog/ui-explain-msg.lp -------------------------------------------------------------------------------- /examples/angular/catdog/ui-explain.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/catdog/ui-explain.lp -------------------------------------------------------------------------------- /examples/angular/catdog/ui-menu.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/catdog/ui-menu.lp -------------------------------------------------------------------------------- /examples/angular/catdog/ui-people.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/catdog/ui-people.lp -------------------------------------------------------------------------------- /examples/angular/catdog/ui-tables.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/catdog/ui-tables.lp -------------------------------------------------------------------------------- /examples/angular/catdog/ui.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/catdog/ui.gif -------------------------------------------------------------------------------- /examples/angular/default/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/default/README.md -------------------------------------------------------------------------------- /examples/angular/default/ui.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/default/ui.gif -------------------------------------------------------------------------------- /examples/angular/default/ui.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/default/ui.lp -------------------------------------------------------------------------------- /examples/angular/elevator/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/elevator/README.md -------------------------------------------------------------------------------- /examples/angular/elevator/encoding.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/elevator/encoding.lp -------------------------------------------------------------------------------- /examples/angular/elevator/instance.lp: -------------------------------------------------------------------------------- 1 | #const n = 5. 2 | floor(0..n). 3 | init_on(1). 4 | called(3). -------------------------------------------------------------------------------- /examples/angular/elevator/ui.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/elevator/ui.gif -------------------------------------------------------------------------------- /examples/angular/elevator/ui.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/elevator/ui.lp -------------------------------------------------------------------------------- /examples/angular/graph_coloring/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/graph_coloring/README.md -------------------------------------------------------------------------------- /examples/angular/graph_coloring/encoding.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/graph_coloring/encoding.lp -------------------------------------------------------------------------------- /examples/angular/graph_coloring/instance.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/graph_coloring/instance.lp -------------------------------------------------------------------------------- /examples/angular/graph_coloring/ui.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/graph_coloring/ui.gif -------------------------------------------------------------------------------- /examples/angular/graph_coloring/ui.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/graph_coloring/ui.lp -------------------------------------------------------------------------------- /examples/angular/graph_coloring/viz.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/graph_coloring/viz.lp -------------------------------------------------------------------------------- /examples/angular/jobshop/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/jobshop/README.md -------------------------------------------------------------------------------- /examples/angular/jobshop/encoding.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/jobshop/encoding.lp -------------------------------------------------------------------------------- /examples/angular/jobshop/instance.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/jobshop/instance.lp -------------------------------------------------------------------------------- /examples/angular/jobshop/ui.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/jobshop/ui.gif -------------------------------------------------------------------------------- /examples/angular/jobshop/ui.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/jobshop/ui.lp -------------------------------------------------------------------------------- /examples/angular/knapsack/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/knapsack/README.md -------------------------------------------------------------------------------- /examples/angular/knapsack/encoding.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/knapsack/encoding.lp -------------------------------------------------------------------------------- /examples/angular/knapsack/instance.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/knapsack/instance.lp -------------------------------------------------------------------------------- /examples/angular/knapsack/ui.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/knapsack/ui.gif -------------------------------------------------------------------------------- /examples/angular/knapsack/ui.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/knapsack/ui.lp -------------------------------------------------------------------------------- /examples/angular/placement/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/placement/README.md -------------------------------------------------------------------------------- /examples/angular/placement/encoding.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/placement/encoding.lp -------------------------------------------------------------------------------- /examples/angular/placement/instance.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/placement/instance.lp -------------------------------------------------------------------------------- /examples/angular/placement/ui.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/placement/ui.gif -------------------------------------------------------------------------------- /examples/angular/placement/ui.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/placement/ui.lp -------------------------------------------------------------------------------- /examples/angular/skillmanager/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/skillmanager/README.md -------------------------------------------------------------------------------- /examples/angular/skillmanager/encoding.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/skillmanager/encoding.lp -------------------------------------------------------------------------------- /examples/angular/skillmanager/instance_hobby.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/skillmanager/instance_hobby.lp -------------------------------------------------------------------------------- /examples/angular/skillmanager/instance_programming.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/skillmanager/instance_programming.lp -------------------------------------------------------------------------------- /examples/angular/skillmanager/ui.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/skillmanager/ui.gif -------------------------------------------------------------------------------- /examples/angular/skillmanager/ui.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/skillmanager/ui.lp -------------------------------------------------------------------------------- /examples/angular/study_regulations/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/study_regulations/README.md -------------------------------------------------------------------------------- /examples/angular/study_regulations/encoding.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/study_regulations/encoding.lp -------------------------------------------------------------------------------- /examples/angular/study_regulations/instance.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/study_regulations/instance.lp -------------------------------------------------------------------------------- /examples/angular/study_regulations/ui.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/study_regulations/ui.gif -------------------------------------------------------------------------------- /examples/angular/study_regulations/ui.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/study_regulations/ui.lp -------------------------------------------------------------------------------- /examples/angular/style/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/style/README.md -------------------------------------------------------------------------------- /examples/angular/style/encoding.lp: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/angular/style/out.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/style/out.png -------------------------------------------------------------------------------- /examples/angular/style/ui.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/style/ui.lp -------------------------------------------------------------------------------- /examples/angular/sudoku/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/sudoku/README.md -------------------------------------------------------------------------------- /examples/angular/sudoku/encoding.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/sudoku/encoding.lp -------------------------------------------------------------------------------- /examples/angular/sudoku/instance.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/sudoku/instance.lp -------------------------------------------------------------------------------- /examples/angular/sudoku/ui.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/sudoku/ui.gif -------------------------------------------------------------------------------- /examples/angular/sudoku/ui.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/sudoku/ui.lp -------------------------------------------------------------------------------- /examples/angular/sudoku_advanced/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/sudoku_advanced/README.md -------------------------------------------------------------------------------- /examples/angular/sudoku_advanced/encoding.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/sudoku_advanced/encoding.lp -------------------------------------------------------------------------------- /examples/angular/sudoku_advanced/instance.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/sudoku_advanced/instance.lp -------------------------------------------------------------------------------- /examples/angular/sudoku_advanced/out1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/sudoku_advanced/out1.png -------------------------------------------------------------------------------- /examples/angular/sudoku_advanced/out2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/sudoku_advanced/out2.png -------------------------------------------------------------------------------- /examples/angular/sudoku_advanced/out3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/sudoku_advanced/out3.png -------------------------------------------------------------------------------- /examples/angular/sudoku_advanced/ui.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/sudoku_advanced/ui.gif -------------------------------------------------------------------------------- /examples/angular/sudoku_advanced/ui.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/sudoku_advanced/ui.lp -------------------------------------------------------------------------------- /examples/angular/sudoku_basic/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/sudoku_basic/README.md -------------------------------------------------------------------------------- /examples/angular/sudoku_basic/encoding.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/sudoku_basic/encoding.lp -------------------------------------------------------------------------------- /examples/angular/sudoku_basic/instance.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/sudoku_basic/instance.lp -------------------------------------------------------------------------------- /examples/angular/sudoku_basic/ui.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/sudoku_basic/ui.gif -------------------------------------------------------------------------------- /examples/angular/sudoku_basic/ui.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/sudoku_basic/ui.lp -------------------------------------------------------------------------------- /examples/angular/tax/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/tax/README.md -------------------------------------------------------------------------------- /examples/angular/tax/encoding.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/tax/encoding.lp -------------------------------------------------------------------------------- /examples/angular/tax/instance.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/tax/instance.lp -------------------------------------------------------------------------------- /examples/angular/tax/ui.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/tax/ui.lp -------------------------------------------------------------------------------- /examples/angular/test/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/test/README.md -------------------------------------------------------------------------------- /examples/angular/test/encoding.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/test/encoding.lp -------------------------------------------------------------------------------- /examples/angular/test/instance.lp: -------------------------------------------------------------------------------- 1 | a. 2 | -------------------------------------------------------------------------------- /examples/angular/test/ui.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/test/ui.gif -------------------------------------------------------------------------------- /examples/angular/test/ui.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/test/ui.lp -------------------------------------------------------------------------------- /examples/angular/tree_browser/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/tree_browser/README.md -------------------------------------------------------------------------------- /examples/angular/tree_browser/encoding.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/tree_browser/encoding.lp -------------------------------------------------------------------------------- /examples/angular/tree_browser/instance.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/tree_browser/instance.lp -------------------------------------------------------------------------------- /examples/angular/tree_browser/ui.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/tree_browser/ui.gif -------------------------------------------------------------------------------- /examples/angular/tree_browser/ui.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/tree_browser/ui.lp -------------------------------------------------------------------------------- /examples/angular/tree_browser/viz.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/angular/tree_browser/viz.lp -------------------------------------------------------------------------------- /examples/test/test_00/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/test/test_00/README.md -------------------------------------------------------------------------------- /examples/test/test_00/domain_file.lp: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/test/test_00/out.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/test/test_00/out.png -------------------------------------------------------------------------------- /examples/test/test_00/ui.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/test/test_00/ui.lp -------------------------------------------------------------------------------- /examples/test/test_01/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/test/test_01/README.md -------------------------------------------------------------------------------- /examples/test/test_01/domain_file.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/test/test_01/domain_file.lp -------------------------------------------------------------------------------- /examples/test/test_01/out1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/test/test_01/out1.png -------------------------------------------------------------------------------- /examples/test/test_01/out2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/test/test_01/out2.png -------------------------------------------------------------------------------- /examples/test/test_01/out3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/test/test_01/out3.png -------------------------------------------------------------------------------- /examples/test/test_01/ui.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/test/test_01/ui.lp -------------------------------------------------------------------------------- /examples/test/test_02/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/test/test_02/README.md -------------------------------------------------------------------------------- /examples/test/test_02/domain_file.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/test/test_02/domain_file.lp -------------------------------------------------------------------------------- /examples/test/test_02/out.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/test/test_02/out.png -------------------------------------------------------------------------------- /examples/test/test_02/ui.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/test/test_02/ui.lp -------------------------------------------------------------------------------- /examples/test/test_03/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/test/test_03/README.md -------------------------------------------------------------------------------- /examples/test/test_03/domain_file.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/test/test_03/domain_file.lp -------------------------------------------------------------------------------- /examples/test/test_03/out.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/test/test_03/out.png -------------------------------------------------------------------------------- /examples/test/test_03/ui.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/test/test_03/ui.lp -------------------------------------------------------------------------------- /examples/test/test_04/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/test/test_04/README.md -------------------------------------------------------------------------------- /examples/test/test_04/domain_file.lp: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/test/test_04/out.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/test/test_04/out.png -------------------------------------------------------------------------------- /examples/test/test_04/ui.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/test/test_04/ui.lp -------------------------------------------------------------------------------- /examples/test/test_05/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/test/test_05/README.md -------------------------------------------------------------------------------- /examples/test/test_05/domain_file.lp: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/test/test_05/out.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/test/test_05/out.png -------------------------------------------------------------------------------- /examples/test/test_05/test_05.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/test/test_05/test_05.png -------------------------------------------------------------------------------- /examples/test/test_05/ui.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/test/test_05/ui.lp -------------------------------------------------------------------------------- /examples/test/test_06/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/test/test_06/README.md -------------------------------------------------------------------------------- /examples/test/test_06/domain_file.lp: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/test/test_06/out.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/test/test_06/out.png -------------------------------------------------------------------------------- /examples/test/test_06/test_06.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/test/test_06/test_06.png -------------------------------------------------------------------------------- /examples/test/test_06/ui.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/test/test_06/ui.lp -------------------------------------------------------------------------------- /examples/test/test_06/ui_abs_static.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/test/test_06/ui_abs_static.lp -------------------------------------------------------------------------------- /examples/test/test_06/ui_rel_static.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/test/test_06/ui_rel_static.lp -------------------------------------------------------------------------------- /examples/test/test_07/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/test/test_07/README.md -------------------------------------------------------------------------------- /examples/test/test_07/domain_file.lp: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/test/test_07/out.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/test/test_07/out.png -------------------------------------------------------------------------------- /examples/test/test_07/tommi.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/test/test_07/tommi.jpg -------------------------------------------------------------------------------- /examples/test/test_07/ui.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/test/test_07/ui.lp -------------------------------------------------------------------------------- /examples/test/test_08/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/test/test_08/README.md -------------------------------------------------------------------------------- /examples/test/test_08/domain_file.lp: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/test/test_08/out1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/test/test_08/out1.png -------------------------------------------------------------------------------- /examples/test/test_08/out2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/test/test_08/out2.png -------------------------------------------------------------------------------- /examples/test/test_08/ui.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/test/test_08/ui.lp -------------------------------------------------------------------------------- /examples/test/test_09/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/test/test_09/README.md -------------------------------------------------------------------------------- /examples/test/test_09/domain_file.lp: -------------------------------------------------------------------------------- 1 | 1{p(1);p(2)}1. -------------------------------------------------------------------------------- /examples/test/test_09/out.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/test/test_09/out.png -------------------------------------------------------------------------------- /examples/test/test_09/ui.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/test/test_09/ui.lp -------------------------------------------------------------------------------- /examples/test/test_10/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/test/test_10/README.md -------------------------------------------------------------------------------- /examples/test/test_10/domain_file.lp: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/test/test_10/out.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/test/test_10/out.png -------------------------------------------------------------------------------- /examples/test/test_10/ui.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/test/test_10/ui.lp -------------------------------------------------------------------------------- /examples/test/test_11/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/test/test_11/README.md -------------------------------------------------------------------------------- /examples/test/test_11/domain_file.lp: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/test/test_11/out.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/test/test_11/out.png -------------------------------------------------------------------------------- /examples/test/test_11/ui.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/test/test_11/ui.lp -------------------------------------------------------------------------------- /examples/test/test_12/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/test/test_12/README.md -------------------------------------------------------------------------------- /examples/test/test_12/domain_file.lp: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /examples/test/test_12/out.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/test/test_12/out.png -------------------------------------------------------------------------------- /examples/test/test_12/ui.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/test/test_12/ui.lp -------------------------------------------------------------------------------- /examples/tkinter/button/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/tkinter/button/README.md -------------------------------------------------------------------------------- /examples/tkinter/button/out.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/tkinter/button/out.png -------------------------------------------------------------------------------- /examples/tkinter/button/ui.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/tkinter/button/ui.lp -------------------------------------------------------------------------------- /examples/tkinter/graph_coloring/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/tkinter/graph_coloring/README.md -------------------------------------------------------------------------------- /examples/tkinter/graph_coloring/encoding.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/tkinter/graph_coloring/encoding.lp -------------------------------------------------------------------------------- /examples/tkinter/graph_coloring/out.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/tkinter/graph_coloring/out.png -------------------------------------------------------------------------------- /examples/tkinter/graph_coloring/ui.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/tkinter/graph_coloring/ui.lp -------------------------------------------------------------------------------- /examples/tkinter/graph_coloring/viz.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/tkinter/graph_coloring/viz.lp -------------------------------------------------------------------------------- /examples/tkinter/housing/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/tkinter/housing/README.md -------------------------------------------------------------------------------- /examples/tkinter/housing/encoding.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/tkinter/housing/encoding.lp -------------------------------------------------------------------------------- /examples/tkinter/housing/instance.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/tkinter/housing/instance.lp -------------------------------------------------------------------------------- /examples/tkinter/housing/out.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/tkinter/housing/out.png -------------------------------------------------------------------------------- /examples/tkinter/housing/ui.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/tkinter/housing/ui.lp -------------------------------------------------------------------------------- /examples/tkinter/study_regulations/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/tkinter/study_regulations/README.md -------------------------------------------------------------------------------- /examples/tkinter/study_regulations/encoding.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/tkinter/study_regulations/encoding.lp -------------------------------------------------------------------------------- /examples/tkinter/study_regulations/instance.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/tkinter/study_regulations/instance.lp -------------------------------------------------------------------------------- /examples/tkinter/study_regulations/out.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/tkinter/study_regulations/out.png -------------------------------------------------------------------------------- /examples/tkinter/study_regulations/ui.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/tkinter/study_regulations/ui.lp -------------------------------------------------------------------------------- /examples/tkinter/sudoku/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/tkinter/sudoku/README.md -------------------------------------------------------------------------------- /examples/tkinter/sudoku/encoding.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/tkinter/sudoku/encoding.lp -------------------------------------------------------------------------------- /examples/tkinter/sudoku/instance.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/tkinter/sudoku/instance.lp -------------------------------------------------------------------------------- /examples/tkinter/sudoku/out.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/tkinter/sudoku/out.png -------------------------------------------------------------------------------- /examples/tkinter/sudoku/sudoku.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/tkinter/sudoku/sudoku.png -------------------------------------------------------------------------------- /examples/tkinter/sudoku/ui.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/tkinter/sudoku/ui.lp -------------------------------------------------------------------------------- /examples/tkinter/sudoku_explained/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/tkinter/sudoku_explained/README.md -------------------------------------------------------------------------------- /examples/tkinter/sudoku_explained/encoding.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/tkinter/sudoku_explained/encoding.lp -------------------------------------------------------------------------------- /examples/tkinter/sudoku_explained/instance.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/tkinter/sudoku_explained/instance.lp -------------------------------------------------------------------------------- /examples/tkinter/sudoku_explained/out1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/tkinter/sudoku_explained/out1.png -------------------------------------------------------------------------------- /examples/tkinter/sudoku_explained/out2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/tkinter/sudoku_explained/out2.png -------------------------------------------------------------------------------- /examples/tkinter/sudoku_explained/ui.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/tkinter/sudoku_explained/ui.lp -------------------------------------------------------------------------------- /examples/tkinter/sudoku_single_shot/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/tkinter/sudoku_single_shot/README.md -------------------------------------------------------------------------------- /examples/tkinter/sudoku_single_shot/encoding.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/tkinter/sudoku_single_shot/encoding.lp -------------------------------------------------------------------------------- /examples/tkinter/sudoku_single_shot/instance.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/tkinter/sudoku_single_shot/instance.lp -------------------------------------------------------------------------------- /examples/tkinter/sudoku_single_shot/out.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/tkinter/sudoku_single_shot/out.png -------------------------------------------------------------------------------- /examples/tkinter/sudoku_single_shot/ui.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/examples/tkinter/sudoku_single_shot/ui.lp -------------------------------------------------------------------------------- /noxfile.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/noxfile.py -------------------------------------------------------------------------------- /pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/pyproject.toml -------------------------------------------------------------------------------- /setup.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/setup.cfg -------------------------------------------------------------------------------- /setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/setup.py -------------------------------------------------------------------------------- /start.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/start.py -------------------------------------------------------------------------------- /tests/reference_json_output/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/tests/reference_json_output/__init__.py -------------------------------------------------------------------------------- /tests/reference_json_output/basic_test_00.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/tests/reference_json_output/basic_test_00.py -------------------------------------------------------------------------------- /tests/reference_json_output/basic_test_01.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/tests/reference_json_output/basic_test_01.py -------------------------------------------------------------------------------- /tests/reference_json_output/basic_test_02.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/tests/reference_json_output/basic_test_02.py -------------------------------------------------------------------------------- /tests/reference_json_output/basic_test_03.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/tests/reference_json_output/basic_test_03.py -------------------------------------------------------------------------------- /tests/reference_json_output/basic_test_04.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/tests/reference_json_output/basic_test_04.py -------------------------------------------------------------------------------- /tests/reference_json_output/basic_test_05.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/tests/reference_json_output/basic_test_05.py -------------------------------------------------------------------------------- /tests/reference_json_output/basic_test_06.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/tests/reference_json_output/basic_test_06.py -------------------------------------------------------------------------------- /tests/reference_json_output/basic_test_07.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/tests/reference_json_output/basic_test_07.py -------------------------------------------------------------------------------- /tests/reference_json_output/basic_test_08.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/tests/reference_json_output/basic_test_08.py -------------------------------------------------------------------------------- /tests/reference_json_output/basic_test_09.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/tests/reference_json_output/basic_test_09.py -------------------------------------------------------------------------------- /tests/reference_json_output/basic_test_10.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/tests/reference_json_output/basic_test_10.py -------------------------------------------------------------------------------- /tests/reference_json_output/basic_test_11.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/tests/reference_json_output/basic_test_11.py -------------------------------------------------------------------------------- /tests/reference_json_output/basic_test_12.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/tests/reference_json_output/basic_test_12.py -------------------------------------------------------------------------------- /tests/reference_json_output/coloring.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/tests/reference_json_output/coloring.py -------------------------------------------------------------------------------- /tests/reference_json_output/health.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/tests/reference_json_output/health.py -------------------------------------------------------------------------------- /tests/reference_json_output/sudoku.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/tests/reference_json_output/sudoku.py -------------------------------------------------------------------------------- /tests/test_backend_unit_00_05.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/tests/test_backend_unit_00_05.py -------------------------------------------------------------------------------- /tests/test_backend_unit_06_12.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/tests/test_backend_unit_06_12.py -------------------------------------------------------------------------------- /tests/test_basic_00_05.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/tests/test_basic_00_05.py -------------------------------------------------------------------------------- /tests/test_basic_06_12.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/tests/test_basic_06_12.py -------------------------------------------------------------------------------- /tests/test_clingraph.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/tests/test_clingraph.py -------------------------------------------------------------------------------- /tests/test_sudoku.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/tests/test_sudoku.py -------------------------------------------------------------------------------- /tests/utils_test_utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clinguin/HEAD/tests/utils_test_utils.py --------------------------------------------------------------------------------