Skip to main content

Self-contained constraint theory demo — snap solving, holonomy, angular NN, self-consistency quine

Project description

Constraint Theory Demo

Self-contained constraint theory demonstrations.

Install

pip install constraint-theory-demo

Usage

from constraint_theory_demo import snap_solve, visualize_holonomy

# Snap solving
result = snap_solve({"x": [0, 10], "y": [0, 10]}, constraints=["x < y"])
print(f"Found {len(result)} solutions")

Project details


Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

constraint_theory_demo-0.5.1.tar.gz (2.8 kB view details)

Uploaded Source

Built Distribution

If you're not sure about the file name format, learn more about wheel file names.

constraint_theory_demo-0.5.1-py3-none-any.whl (3.8 kB view details)

Uploaded Python 3

File details

Details for the file constraint_theory_demo-0.5.1.tar.gz.

File metadata

  • Download URL: constraint_theory_demo-0.5.1.tar.gz
  • Upload date:
  • Size: 2.8 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/6.2.0 CPython/3.10.12

File hashes

Hashes for constraint_theory_demo-0.5.1.tar.gz
Algorithm Hash digest
SHA256 b898752023024832dfd7980f16e27030233989a4826ab8c0ef51815efa9e90ac
MD5 d6345d7cad3e300d8ad812cbe7cfcfe3
BLAKE2b-256 e0215e9b952eb7d01f3514fcd94185cadac338a67759362c3c6a1fc7bc0e7fc8

See more details on using hashes here.

File details

Details for the file constraint_theory_demo-0.5.1-py3-none-any.whl.

File metadata

File hashes

Hashes for constraint_theory_demo-0.5.1-py3-none-any.whl
Algorithm Hash digest
SHA256 43c894fdd09dcc4705764c7c424825180b079266bf5fc951b340e1395df44fee
MD5 7664ec45b19b92f517c610f9ea5254f9
BLAKE2b-256 2358360ebe3c63575bc48285cc8c61e9e25e316ea13eaf553c315a63b92f9b61

See more details on using hashes here.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page