.envrc
.gitignore
.pre-commit-config.yaml
.readthedocs.yaml
CHANGES.md
CONTRIBUTING.md
DEPLOYMENT.md
DEVELOPMENT.md
LICENSE
README.md
build_grammar.sh
default-bike-coom.lp
mkdocs.yml
noxfile.py
pyproject.toml
.github/workflows/deploy.yml
.github/workflows/doc.yml
.github/workflows/test.yml
docs/index.md
docs/installation.md
docs/_custom/css/extra.css
docs/_custom/css/mkdoclingo.css
docs/_custom/css/mkdocstrings.css
docs/_custom/javascripts/mathjax.js
docs/_custom/overrides/.icons/potassco-full-logo.svg
docs/_custom/overrides/.icons/potassco-logo.svg
docs/_custom/overrides/partials/logo.html
docs/assets/encodings/travel-bike-simplified-coom.lp
docs/assets/encodings/travel-bike-simplified.lp
docs/assets/images/configuration-tree.png
docs/assets/images/incremental-bounds.png
docs/assets/images/potassco-full-logo.svg
docs/assets/images/potassco-logo-dark.svg
docs/assets/images/potassco-logo.svg
docs/assets/images/workflow.png
docs/community/CHANGES.md
docs/community/CONTRIBUTING.md
docs/community/DEPLOYMENT.md
docs/community/DEVELOPMENT.md
docs/community/customization.md
docs/community/help.md
docs/community/index.md
docs/examples/benchmarks.md
docs/examples/cargo-bike.md
docs/examples/city-bike.md
docs/examples/index.md
docs/examples/kids-bike.md
docs/examples/travel-bike.md
docs/examples/user-input.md
docs/reference/index.md
docs/reference/coom/index.md
docs/reference/encodings/index.md
docs/reference/encodings/multishot/incremental-constraint.md
docs/reference/encodings/multishot/index.md
docs/reference/encodings/multishot/new-object.md
docs/reference/encodings/multishot/preprocessing.md
docs/reference/encodings/multishot/simple-constraint.md
docs/reference/python/application.md
docs/reference/python/index.md
docs/reference/python/preprocessor.md
docs/reference/python/bounds/index.md
docs/reference/python/bounds/multi_application.md
docs/reference/python/bounds/solver.md
docs/reference/translation/index.md
docs/usage/index.md
docs/usage/ui.md
examples/README.md
examples/coom/README.md
examples/coom/box.coom
examples/coom/metro.coom
examples/coom/olympic-bus.coom
examples/coom/pc.coom
examples/coom/shadow-master-original.coom
examples/coom/shadow-master.coom
examples/coom/simple.coom
examples/coom/tiny-pc.coom
examples/coom/tshirt.coom
examples/coom/user-input-box.coom
examples/coom/user-input-bus.coom
examples/coom/user-input-metro.coom
examples/coom/bike/README.md
examples/coom/bike/cargo-bike.coom
examples/coom/bike/city-bike.coom
examples/coom/bike/default-bike.coom
examples/coom/bike/kids-bike.coom
examples/coom/bike/travel-bike-minimize.coom
examples/coom/bike/travel-bike-simplified.coom
examples/coom/bike/travel-bike.coom
examples/coom/bike/user-input-cargo.coom
examples/coom/bike/user-input-city.coom
examples/coom/bike/user-input-kids.coom
examples/coom/bike/user-input-travel.coom
examples/coom/coffee/README.md
examples/coom/coffee/automatic-coffee-machine.coom
examples/coom/coffee/sieve-carrier-machine.coom
examples/coom/coffee/water-tank.coom
examples/coom/unbounded-cardinalities/cargo-bike-complex.coom
examples/coom/unbounded-cardinalities/cargo-bike-multiple-parallel.coom
examples/coom/unbounded-cardinalities/cargo-bike-nested-recursive.coom
examples/coom/unbounded-cardinalities/cargo-bike-nested.coom
examples/coom/unbounded-cardinalities/cargo-bike.coom
examples/coom/unbounded-cardinalities/house.coom
examples/coom/unbounded-cardinalities/racks-complex.coom
examples/coom/unbounded-cardinalities/racks.coom
examples/coom/unbounded-cardinalities/user-input-cargo.coom
examples/coom/unbounded-cardinalities/user-input-house.coom
examples/coom/unbounded-cardinalities/user-input-racks-complex.coom
examples/coom/unbounded-cardinalities/user-input-racks.coom
examples/tests/preprocess/combination.lp
examples/tests/preprocess/combination_at_part_multiple_instances.lp
examples/tests/preprocess/combination_at_part_with_wildcard.lp
examples/tests/preprocess/combination_with_structure.lp
examples/tests/preprocess/conditional_require.lp
examples/tests/preprocess/conditional_require_undef.lp
examples/tests/preprocess/count.lp
examples/tests/preprocess/maximize.lp
examples/tests/preprocess/maximize_function.lp
examples/tests/preprocess/maximize_non_root_path.lp
examples/tests/preprocess/minimize.lp
examples/tests/preprocess/minimize_function.lp
examples/tests/preprocess/minimize_non_root_path.lp
examples/tests/preprocess/multiple_conditions.lp
examples/tests/preprocess/parentheses.lp
examples/tests/preprocess/require_multiple_instances.lp
examples/tests/preprocess/require_two_wheels.lp
examples/tests/preprocess/require_with_constant.lp
examples/tests/preprocess/require_with_number.lp
examples/tests/preprocess/require_with_number_ge.lp
examples/tests/preprocess/require_with_optional_part.lp
examples/tests/preprocess/require_with_partonomy.lp
examples/tests/preprocess/require_with_partonomy2.lp
examples/tests/preprocess/require_with_partonomy_multiple_instances.lp
examples/tests/preprocess/simple_arithmetic_minus.lp
examples/tests/preprocess/simple_arithmetic_minus_default_left.lp
examples/tests/preprocess/simple_arithmetic_minus_default_right.lp
examples/tests/preprocess/simple_arithmetic_multiplication.lp
examples/tests/preprocess/simple_arithmetic_plus.lp
examples/tests/preprocess/simple_arithmetic_plus_default_left.lp
examples/tests/preprocess/simple_arithmetic_plus_default_right.lp
examples/tests/preprocess/simple_default.lp
examples/tests/preprocess/storage.lp
examples/tests/preprocess/sum.lp
examples/tests/preprocess/unbounded_optimize.lp
examples/tests/preprocess/unbounded_two_lb.lp
examples/tests/preprocess/unbounded_zero_lb.lp
examples/tests/preprocess/unnamed-test.lp
examples/tests/solve/add_attribute.lp
examples/tests/solve/add_part.lp
examples/tests/solve/count.lp
examples/tests/solve/empty_table.lp
examples/tests/solve/mandatory_part.lp
examples/tests/solve/max.lp
examples/tests/solve/maximize.lp
examples/tests/solve/maximize_minimize_function.lp
examples/tests/solve/maximize_priority.lp
examples/tests/solve/min.lp
examples/tests/solve/minimize.lp
examples/tests/solve/minimize_maximize_function.lp
examples/tests/solve/minimize_priority.lp
examples/tests/solve/multiple_discrete.lp
examples/tests/solve/multiple_integer.lp
examples/tests/solve/optional_discrete.lp
examples/tests/solve/optional_integer.lp
examples/tests/solve/optional_part_with_subpart.lp
examples/tests/solve/part_with_cardinality.lp
examples/tests/solve/set_invalid_type.lp
examples/tests/solve/set_invalid_value_discrete.lp
examples/tests/solve/set_invalid_value_num.lp
examples/tests/solve/set_invalid_variable.lp
examples/tests/solve/set_value_discrete.lp
examples/tests/solve/set_value_integer.lp
examples/tests/solve/simple_default.lp
examples/tests/solve/simple_default_include.lp
examples/tests/solve/simple_default_user.lp
examples/tests/solve/simple_discrete.lp
examples/tests/solve/simple_integer.lp
examples/tests/solve/sum.lp
examples/tests/solve/table_discrete.lp
examples/tests/solve/table_integer.lp
examples/tests/solve/table_mixed.lp
examples/tests/solve/table_undef.lp
examples/tests/solve/table_wildcard.lp
examples/tests/solve/unbounded_integer.lp
examples/tests/solve/unbounded_integer_above.lp
examples/tests/solve/unbounded_integer_below.lp
src/coomsuite/__init__.py
src/coomsuite/__main__.py
src/coomsuite/application.py
src/coomsuite/preprocess.py
src/coomsuite/py.typed
src/coomsuite/ui_backend.py
src/coomsuite.egg-info/PKG-INFO
src/coomsuite.egg-info/SOURCES.txt
src/coomsuite.egg-info/dependency_links.txt
src/coomsuite.egg-info/entry_points.txt
src/coomsuite.egg-info/requires.txt
src/coomsuite.egg-info/top_level.txt
src/coomsuite/bounds/__init__.py
src/coomsuite/bounds/multi_application.py
src/coomsuite/bounds/solver.py
src/coomsuite/encodings/doc.lp
src/coomsuite/encodings/encoding-base-clingo-multi.lp
src/coomsuite/encodings/encoding-base-clingo-show.lp
src/coomsuite/encodings/encoding-base-clingo.lp
src/coomsuite/encodings/encoding-base-flingo.lp
src/coomsuite/encodings/fclingo-constraint-compilation.lp
src/coomsuite/encodings/multishot.lp
src/coomsuite/encodings/preprocess-multishot.lp
src/coomsuite/encodings/preprocess.lp
src/coomsuite/encodings/show-clingo.lp
src/coomsuite/encodings/show-flingo.lp
src/coomsuite/encodings/ui.lp
src/coomsuite/encodings/user-check.lp
src/coomsuite/encodings/base/attributes.lp
src/coomsuite/encodings/base/constraints.lp
src/coomsuite/encodings/base/defined.lp
src/coomsuite/encodings/base/discrete.lp
src/coomsuite/encodings/base/structure.lp
src/coomsuite/encodings/base/clingo/boolean.lp
src/coomsuite/encodings/base/clingo/defaults.lp
src/coomsuite/encodings/base/clingo/integer.lp
src/coomsuite/encodings/base/clingo/numerics.lp
src/coomsuite/encodings/base/clingo/optimization.lp
src/coomsuite/encodings/base/clingo/table.lp
src/coomsuite/encodings/base/clingo/user.lp
src/coomsuite/encodings/base/flingo/boolean.lp
src/coomsuite/encodings/base/flingo/defaults.lp
src/coomsuite/encodings/base/flingo/integer.lp
src/coomsuite/encodings/base/flingo/numerics.lp
src/coomsuite/encodings/base/flingo/optimization.lp
src/coomsuite/encodings/base/flingo/table.lp
src/coomsuite/encodings/base/flingo/user.lp
src/coomsuite/encodings/multi/inc-binary.lp
src/coomsuite/encodings/multi/inc-constraint.lp
src/coomsuite/encodings/multi/inc-function.lp
src/coomsuite/encodings/multi/inc-optimize.lp
src/coomsuite/encodings/multi/inc-unary.lp
src/coomsuite/encodings/multi/new-allow.lp
src/coomsuite/encodings/multi/new-binary.lp
src/coomsuite/encodings/multi/new-column.lp
src/coomsuite/encodings/multi/new-constant.lp
src/coomsuite/encodings/multi/new-constraint.lp
src/coomsuite/encodings/multi/new-function.lp
src/coomsuite/encodings/multi/new-number.lp
src/coomsuite/encodings/multi/new-object.lp
src/coomsuite/encodings/multi/new-optimize.lp
src/coomsuite/encodings/multi/new-unary.lp
src/coomsuite/encodings/preprocess/defined.lp
src/coomsuite/encodings/preprocess/incremental.lp
src/coomsuite/encodings/preprocess/instantiate.lp
src/coomsuite/encodings/preprocess/output.lp
src/coomsuite/encodings/preprocess/python.lp
src/coomsuite/encodings/preprocess/user.lp
src/coomsuite/utils/__init__.py
src/coomsuite/utils/logging.py
src/coomsuite/utils/parse_coom.py
src/coomsuite/utils/parser.py
src/coomsuite/utils/coom_grammar/__init__.py
src/coomsuite/utils/coom_grammar/build_grammar.sh
src/coomsuite/utils/coom_grammar/model/Model.g4
src/coomsuite/utils/coom_grammar/model/Model.interp
src/coomsuite/utils/coom_grammar/model/Model.tokens
src/coomsuite/utils/coom_grammar/model/ModelLexer.interp
src/coomsuite/utils/coom_grammar/model/ModelLexer.py
src/coomsuite/utils/coom_grammar/model/ModelLexer.tokens
src/coomsuite/utils/coom_grammar/model/ModelListener.py
src/coomsuite/utils/coom_grammar/model/ModelParser.py
src/coomsuite/utils/coom_grammar/model/ModelVisitor.py
src/coomsuite/utils/coom_grammar/model/__init__.py
src/coomsuite/utils/coom_grammar/user/Base.g4
src/coomsuite/utils/coom_grammar/user/UserInput.g4
src/coomsuite/utils/coom_grammar/user/UserInput.interp
src/coomsuite/utils/coom_grammar/user/UserInput.tokens
src/coomsuite/utils/coom_grammar/user/UserInputLexer.interp
src/coomsuite/utils/coom_grammar/user/UserInputLexer.py
src/coomsuite/utils/coom_grammar/user/UserInputLexer.tokens
src/coomsuite/utils/coom_grammar/user/UserInputListener.py
src/coomsuite/utils/coom_grammar/user/UserInputParser.py
src/coomsuite/utils/coom_grammar/user/UserInputVisitor.py
src/coomsuite/utils/coom_grammar/user/__init__.py
tests/__init__.py
tests/py.typed
tests/test_bounds.py
tests/test_main.py
tests/test_multi_application.py
tests/test_parse.py
tests/test_preprocess.py
tests/test_solve.py
tests/test_user_input.py
tests/clintests/__init__.py
tests/clintests/tests_preprocess.py
tests/clintests/tests_solve.py
tests/clintests/results/unbounded_singleshot_optimize.lp
tests/clintests/results/unbounded_singleshot_two_lb_one_max.lp
tests/clintests/results/unbounded_singleshot_two_lb_zero_max.lp
tests/clintests/results/unbounded_singleshot_zero_lb_one_max.lp
tests/clintests/results/unbounded_singleshot_zero_lb_zero_max.lp