├── .github └── workflows │ ├── docs.yml │ └── main.yml ├── .gitignore ├── CHANGELOG.rst ├── Dockerfile ├── LICENSE ├── MANIFEST.in ├── README.rst ├── docs ├── Makefile ├── _static │ └── funct_3d.png ├── _templates │ └── sidebarintro.html ├── _theme │ └── cogdoc │ │ ├── layout.html │ │ ├── static │ │ └── default.css │ │ └── theme.conf ├── api.rst ├── conf.py └── index.rst ├── header ├── pylintrc ├── requirements.txt ├── scripts └── model_summary.py ├── setup.cfg ├── setup.py ├── suspect ├── __init__.py ├── __version__.py ├── context.py ├── convexity │ ├── __init__.py │ ├── convexity.py │ ├── rules │ │ ├── __init__.py │ │ ├── abs.py │ │ ├── base.py │ │ ├── concave.py │ │ ├── convex.py │ │ ├── division.py │ │ ├── linear.py │ │ ├── negation.py │ │ ├── pow.py │ │ ├── product.py │ │ ├── quadratic.py │ │ ├── rule.py │ │ └── trig.py │ └── visitor.py ├── dag │ ├── __init__.py │ ├── dag.py │ ├── expressions.py │ ├── iterator.py │ ├── tags.py │ └── vertices_list.py ├── error.py ├── expression.py ├── ext.py ├── extras │ ├── __init__.py │ └── convexity │ │ ├── __init__.py │ │ ├── fractional.py │ │ ├── norm.py │ │ ├── perspective.py │ │ └── quadratic.py ├── fbbt │ ├── __init__.py │ ├── initialization │ │ ├── __init__.py │ │ ├── rules.py │ │ └── visitor.py │ ├── main.py │ ├── propagation │ │ ├── __init__.py │ │ ├── rules.py │ │ └── visitor.py │ └── tightening │ │ ├── __init__.py │ │ ├── quadratic.py │ │ ├── rules.py │ │ └── visitor.py ├── float_hash.py ├── interfaces.py ├── interval.py ├── math │ ├── __init__.py │ ├── arbitrary_precision.py │ └── floating_point.py ├── monotonicity │ ├── __init__.py │ ├── monotonicity.py │ ├── rules │ │ ├── __init__.py │ │ ├── abs.py │ │ ├── base.py │ │ ├── division.py │ │ ├── linear.py │ │ ├── nondecreasing.py │ │ ├── nonincreasing.py │ │ ├── pow.py │ │ ├── product.py │ │ ├── quadratic.py │ │ ├── rule.py │ │ └── trig.py │ └── visitor.py ├── polynomial │ ├── __init__.py │ ├── degree.py │ ├── rules.py │ └── visitor.py ├── polynomial_degree.py ├── propagation.py ├── pyomo │ ├── __init__.py │ ├── connected_model.py │ ├── expr_dict.py │ ├── expressions.py │ ├── osil_reader.py │ ├── qplib_reader.py │ ├── quadratic.py │ └── util.py ├── summary.py ├── util.py └── visitor.py ├── tests ├── __init__.py ├── conftest.py ├── convexity │ ├── __init__.py │ └── test_rules.py ├── extras │ ├── __init__.py │ └── convexity │ │ ├── __init__.py │ │ ├── test_fractional.py │ │ └── test_norm.py ├── fbbt │ ├── __init__.py │ ├── test_fbbt.py │ ├── test_initialization.py │ ├── test_propagation.py │ └── test_tightening.py ├── fixtures.py ├── math │ ├── __init__.py │ └── test_arbitrary_precision.py ├── monotonicity │ ├── __init__.py │ └── test_rules.py ├── osil │ └── example1.xml ├── polynomial │ ├── __init__.py │ └── test_rules.py ├── strategies.py ├── test_dot.py ├── test_expr_dict.py ├── test_float_hash.py ├── test_interval.py ├── test_named_expressions.py ├── test_osil_reader.py ├── test_qplib_reader.py ├── test_summary.py ├── test_util.py └── util.py └── tox.ini /.github/workflows/docs.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/.github/workflows/docs.yml -------------------------------------------------------------------------------- /.github/workflows/main.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/.github/workflows/main.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/.gitignore -------------------------------------------------------------------------------- /CHANGELOG.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/CHANGELOG.rst -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/Dockerfile -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/LICENSE -------------------------------------------------------------------------------- /MANIFEST.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/MANIFEST.in -------------------------------------------------------------------------------- /README.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/README.rst -------------------------------------------------------------------------------- /docs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/docs/Makefile -------------------------------------------------------------------------------- /docs/_static/funct_3d.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/docs/_static/funct_3d.png -------------------------------------------------------------------------------- /docs/_templates/sidebarintro.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/docs/_templates/sidebarintro.html -------------------------------------------------------------------------------- /docs/_theme/cogdoc/layout.html: -------------------------------------------------------------------------------- 1 | {% extends "alabaster/layout.html" %} 2 | -------------------------------------------------------------------------------- /docs/_theme/cogdoc/static/default.css: -------------------------------------------------------------------------------- 1 | body { 2 | background: pink; 3 | } 4 | -------------------------------------------------------------------------------- /docs/_theme/cogdoc/theme.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/docs/_theme/cogdoc/theme.conf -------------------------------------------------------------------------------- /docs/api.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/docs/api.rst -------------------------------------------------------------------------------- /docs/conf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/docs/conf.py -------------------------------------------------------------------------------- /docs/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/docs/index.rst -------------------------------------------------------------------------------- /header: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/header -------------------------------------------------------------------------------- /pylintrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/pylintrc -------------------------------------------------------------------------------- /requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/requirements.txt -------------------------------------------------------------------------------- /scripts/model_summary.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/scripts/model_summary.py -------------------------------------------------------------------------------- /setup.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/setup.cfg -------------------------------------------------------------------------------- /setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/setup.py -------------------------------------------------------------------------------- /suspect/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/__init__.py -------------------------------------------------------------------------------- /suspect/__version__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/__version__.py -------------------------------------------------------------------------------- /suspect/context.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/context.py -------------------------------------------------------------------------------- /suspect/convexity/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/convexity/__init__.py -------------------------------------------------------------------------------- /suspect/convexity/convexity.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/convexity/convexity.py -------------------------------------------------------------------------------- /suspect/convexity/rules/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/convexity/rules/__init__.py -------------------------------------------------------------------------------- /suspect/convexity/rules/abs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/convexity/rules/abs.py -------------------------------------------------------------------------------- /suspect/convexity/rules/base.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/convexity/rules/base.py -------------------------------------------------------------------------------- /suspect/convexity/rules/concave.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/convexity/rules/concave.py -------------------------------------------------------------------------------- /suspect/convexity/rules/convex.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/convexity/rules/convex.py -------------------------------------------------------------------------------- /suspect/convexity/rules/division.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/convexity/rules/division.py -------------------------------------------------------------------------------- /suspect/convexity/rules/linear.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/convexity/rules/linear.py -------------------------------------------------------------------------------- /suspect/convexity/rules/negation.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/convexity/rules/negation.py -------------------------------------------------------------------------------- /suspect/convexity/rules/pow.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/convexity/rules/pow.py -------------------------------------------------------------------------------- /suspect/convexity/rules/product.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/convexity/rules/product.py -------------------------------------------------------------------------------- /suspect/convexity/rules/quadratic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/convexity/rules/quadratic.py -------------------------------------------------------------------------------- /suspect/convexity/rules/rule.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/convexity/rules/rule.py -------------------------------------------------------------------------------- /suspect/convexity/rules/trig.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/convexity/rules/trig.py -------------------------------------------------------------------------------- /suspect/convexity/visitor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/convexity/visitor.py -------------------------------------------------------------------------------- /suspect/dag/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/dag/__init__.py -------------------------------------------------------------------------------- /suspect/dag/dag.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/dag/dag.py -------------------------------------------------------------------------------- /suspect/dag/expressions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/dag/expressions.py -------------------------------------------------------------------------------- /suspect/dag/iterator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/dag/iterator.py -------------------------------------------------------------------------------- /suspect/dag/tags.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/dag/tags.py -------------------------------------------------------------------------------- /suspect/dag/vertices_list.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/dag/vertices_list.py -------------------------------------------------------------------------------- /suspect/error.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/error.py -------------------------------------------------------------------------------- /suspect/expression.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/expression.py -------------------------------------------------------------------------------- /suspect/ext.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/ext.py -------------------------------------------------------------------------------- /suspect/extras/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /suspect/extras/convexity/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/extras/convexity/__init__.py -------------------------------------------------------------------------------- /suspect/extras/convexity/fractional.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/extras/convexity/fractional.py -------------------------------------------------------------------------------- /suspect/extras/convexity/norm.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/extras/convexity/norm.py -------------------------------------------------------------------------------- /suspect/extras/convexity/perspective.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/extras/convexity/perspective.py -------------------------------------------------------------------------------- /suspect/extras/convexity/quadratic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/extras/convexity/quadratic.py -------------------------------------------------------------------------------- /suspect/fbbt/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/fbbt/__init__.py -------------------------------------------------------------------------------- /suspect/fbbt/initialization/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/fbbt/initialization/__init__.py -------------------------------------------------------------------------------- /suspect/fbbt/initialization/rules.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/fbbt/initialization/rules.py -------------------------------------------------------------------------------- /suspect/fbbt/initialization/visitor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/fbbt/initialization/visitor.py -------------------------------------------------------------------------------- /suspect/fbbt/main.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/fbbt/main.py -------------------------------------------------------------------------------- /suspect/fbbt/propagation/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/fbbt/propagation/__init__.py -------------------------------------------------------------------------------- /suspect/fbbt/propagation/rules.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/fbbt/propagation/rules.py -------------------------------------------------------------------------------- /suspect/fbbt/propagation/visitor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/fbbt/propagation/visitor.py -------------------------------------------------------------------------------- /suspect/fbbt/tightening/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/fbbt/tightening/__init__.py -------------------------------------------------------------------------------- /suspect/fbbt/tightening/quadratic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/fbbt/tightening/quadratic.py -------------------------------------------------------------------------------- /suspect/fbbt/tightening/rules.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/fbbt/tightening/rules.py -------------------------------------------------------------------------------- /suspect/fbbt/tightening/visitor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/fbbt/tightening/visitor.py -------------------------------------------------------------------------------- /suspect/float_hash.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/float_hash.py -------------------------------------------------------------------------------- /suspect/interfaces.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/interfaces.py -------------------------------------------------------------------------------- /suspect/interval.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/interval.py -------------------------------------------------------------------------------- /suspect/math/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/math/__init__.py -------------------------------------------------------------------------------- /suspect/math/arbitrary_precision.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/math/arbitrary_precision.py -------------------------------------------------------------------------------- /suspect/math/floating_point.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/math/floating_point.py -------------------------------------------------------------------------------- /suspect/monotonicity/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/monotonicity/__init__.py -------------------------------------------------------------------------------- /suspect/monotonicity/monotonicity.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/monotonicity/monotonicity.py -------------------------------------------------------------------------------- /suspect/monotonicity/rules/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/monotonicity/rules/__init__.py -------------------------------------------------------------------------------- /suspect/monotonicity/rules/abs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/monotonicity/rules/abs.py -------------------------------------------------------------------------------- /suspect/monotonicity/rules/base.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/monotonicity/rules/base.py -------------------------------------------------------------------------------- /suspect/monotonicity/rules/division.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/monotonicity/rules/division.py -------------------------------------------------------------------------------- /suspect/monotonicity/rules/linear.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/monotonicity/rules/linear.py -------------------------------------------------------------------------------- /suspect/monotonicity/rules/nondecreasing.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/monotonicity/rules/nondecreasing.py -------------------------------------------------------------------------------- /suspect/monotonicity/rules/nonincreasing.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/monotonicity/rules/nonincreasing.py -------------------------------------------------------------------------------- /suspect/monotonicity/rules/pow.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/monotonicity/rules/pow.py -------------------------------------------------------------------------------- /suspect/monotonicity/rules/product.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/monotonicity/rules/product.py -------------------------------------------------------------------------------- /suspect/monotonicity/rules/quadratic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/monotonicity/rules/quadratic.py -------------------------------------------------------------------------------- /suspect/monotonicity/rules/rule.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/monotonicity/rules/rule.py -------------------------------------------------------------------------------- /suspect/monotonicity/rules/trig.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/monotonicity/rules/trig.py -------------------------------------------------------------------------------- /suspect/monotonicity/visitor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/monotonicity/visitor.py -------------------------------------------------------------------------------- /suspect/polynomial/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/polynomial/__init__.py -------------------------------------------------------------------------------- /suspect/polynomial/degree.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/polynomial/degree.py -------------------------------------------------------------------------------- /suspect/polynomial/rules.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/polynomial/rules.py -------------------------------------------------------------------------------- /suspect/polynomial/visitor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/polynomial/visitor.py -------------------------------------------------------------------------------- /suspect/polynomial_degree.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/polynomial_degree.py -------------------------------------------------------------------------------- /suspect/propagation.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/propagation.py -------------------------------------------------------------------------------- /suspect/pyomo/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/pyomo/__init__.py -------------------------------------------------------------------------------- /suspect/pyomo/connected_model.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/pyomo/connected_model.py -------------------------------------------------------------------------------- /suspect/pyomo/expr_dict.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/pyomo/expr_dict.py -------------------------------------------------------------------------------- /suspect/pyomo/expressions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/pyomo/expressions.py -------------------------------------------------------------------------------- /suspect/pyomo/osil_reader.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/pyomo/osil_reader.py -------------------------------------------------------------------------------- /suspect/pyomo/qplib_reader.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/pyomo/qplib_reader.py -------------------------------------------------------------------------------- /suspect/pyomo/quadratic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/pyomo/quadratic.py -------------------------------------------------------------------------------- /suspect/pyomo/util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/pyomo/util.py -------------------------------------------------------------------------------- /suspect/summary.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/summary.py -------------------------------------------------------------------------------- /suspect/util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/util.py -------------------------------------------------------------------------------- /suspect/visitor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/suspect/visitor.py -------------------------------------------------------------------------------- /tests/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/conftest.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/tests/conftest.py -------------------------------------------------------------------------------- /tests/convexity/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/convexity/test_rules.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/tests/convexity/test_rules.py -------------------------------------------------------------------------------- /tests/extras/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/extras/convexity/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/extras/convexity/test_fractional.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/tests/extras/convexity/test_fractional.py -------------------------------------------------------------------------------- /tests/extras/convexity/test_norm.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/tests/extras/convexity/test_norm.py -------------------------------------------------------------------------------- /tests/fbbt/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/fbbt/test_fbbt.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/tests/fbbt/test_fbbt.py -------------------------------------------------------------------------------- /tests/fbbt/test_initialization.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/tests/fbbt/test_initialization.py -------------------------------------------------------------------------------- /tests/fbbt/test_propagation.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/tests/fbbt/test_propagation.py -------------------------------------------------------------------------------- /tests/fbbt/test_tightening.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/tests/fbbt/test_tightening.py -------------------------------------------------------------------------------- /tests/fixtures.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/tests/fixtures.py -------------------------------------------------------------------------------- /tests/math/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/math/test_arbitrary_precision.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/tests/math/test_arbitrary_precision.py -------------------------------------------------------------------------------- /tests/monotonicity/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/monotonicity/test_rules.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/tests/monotonicity/test_rules.py -------------------------------------------------------------------------------- /tests/osil/example1.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/tests/osil/example1.xml -------------------------------------------------------------------------------- /tests/polynomial/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/polynomial/test_rules.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/tests/polynomial/test_rules.py -------------------------------------------------------------------------------- /tests/strategies.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/tests/strategies.py -------------------------------------------------------------------------------- /tests/test_dot.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/tests/test_dot.py -------------------------------------------------------------------------------- /tests/test_expr_dict.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/tests/test_expr_dict.py -------------------------------------------------------------------------------- /tests/test_float_hash.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/tests/test_float_hash.py -------------------------------------------------------------------------------- /tests/test_interval.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/tests/test_interval.py -------------------------------------------------------------------------------- /tests/test_named_expressions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/tests/test_named_expressions.py -------------------------------------------------------------------------------- /tests/test_osil_reader.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/tests/test_osil_reader.py -------------------------------------------------------------------------------- /tests/test_qplib_reader.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/tests/test_qplib_reader.py -------------------------------------------------------------------------------- /tests/test_summary.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/tests/test_summary.py -------------------------------------------------------------------------------- /tests/test_util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/tests/test_util.py -------------------------------------------------------------------------------- /tests/util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/tests/util.py -------------------------------------------------------------------------------- /tox.ini: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cog-imperial/suspect/HEAD/tox.ini --------------------------------------------------------------------------------