zuspec-solver
Translates Zuspec IR solve problems for a constraint solver. Pure Python.
zuspec-ir-core collects an
action's random fields and constraints into a ScSolveProblem.
zuspec.solver.translate walks that problem once and hands each solver
construct to a sink. The sink is the dv-solve builder, which produces a
relocatable dv-solve problem blob, or
anything else with the same methods. So every backend that solves a Zuspec
model shares one encoding and one list of refused constructs.
from zuspec.solver.translate import build_solve_blob, TranslateError
blob, writeback = build_solve_blob(problem) # problem: ScSolveProblem
# writeback: object field slot -> solver var_id
A constraint the solver cannot take raises TranslateError with its source
location. It is never dropped.
Used by zuspec-be-bc, the backend pssc runs PSS on.
License
Apache-2.0
1 maintainer
Metadata
1 maintainer
Release files for zuspec-solver 0.1.1
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| zuspec_solver-0.1.1-py3-none-any.whl | Python 3 | none | any | Details |
Release files / zuspec_solver-0.1.1-py3-none-any.whl
| Download URL | zuspec_solver-0.1.1-py3-none-any.whl |
|---|---|
| Size | 23.5 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
a7192642bcf13491000eb03adbace713d3ee23fd19c6a35438f15a4fc2370d72
|
|
BLAKE2b-256 checksum How to use checksums |
8139d351384be1ca22feadbe7c1230ea9aaa572ce93b4bf825808a6ac368e361
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.16
|
Security for zuspec-solver 0.1.1
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
No provenance found
None of the files in this release were uploaded with provenance metadata.
A note on package security
PyPI is a repository for distributing packages, not a service for auditing them. While third-party security researchers and our staff do their best to detect and remove malicious packages, PyPI cannot guarantee the quality, security or suitability of any given package.
