BACKEND-CONTRACT-V0_1_0RC2.json
CHANGELOG.md
CONTRIBUTING.md
KNOWN-LIMITATIONS.md
LICENSE
MANIFEST.in
PRE-PUBLIC-RELEASE-AUDIT-0.1.0rc2.json
PRE-PUBLIC-RELEASE-VERIFICATION-0.1.0rc2.md
PUBLIC-API-V0_1_0RC2.json
README.md
RELEASING.md
SECURITY.md
TRACK-P-MERGE-PROVENANCE.json
pyproject.toml
docs/api/EXTENDED-MODELING-API.md
docs/api/PUBLIC-API-v1.md
docs/release/OWNER-PUBLICATION-DECISIONS.md
docs/release/PRE-GITHUB-HARDENING.md
docs/release/PRE-GITHUB-LICENSE-DECISION.md
docs/release/README-CHECKLIST-0.1.0RC2.md
docs/release/SOLVERPILOT-PUBLIC-DOCS-0.1.0RC2.md
examples/01_lp_basic.py
examples/02_milp_binary.py
examples/03_qp_convex.py
examples/04_choose_backend.py
examples/05_infeasible.py
examples/06_validation_diagnostics.py
examples/07_reoptimization_session.py
examples/08_semantic_model.py
examples/09_conic_model.py
examples/10_nlp_optional.py
examples/11_minlp_optional.py
examples/12_cp_reference.py
examples/13_cp_sat_optional.py
examples/14_persistent_session_optional.py
examples/README.md
src/solverpilot/__init__.py
src/solverpilot/_immutability.py
src/solverpilot/_version.py
src/solverpilot/exceptions.py
src/solverpilot.egg-info/PKG-INFO
src/solverpilot.egg-info/SOURCES.txt
src/solverpilot.egg-info/dependency_links.txt
src/solverpilot.egg-info/entry_points.txt
src/solverpilot.egg-info/requires.txt
src/solverpilot.egg-info/top_level.txt
src/solverpilot/applications/__init__.py
src/solverpilot/applications/routing/__init__.py
src/solverpilot/applications/routing/compile_milp.py
src/solverpilot/applications/routing/diagnostics.py
src/solverpilot/applications/routing/errors.py
src/solverpilot/applications/routing/heuristics.py
src/solverpilot/applications/routing/model.py
src/solverpilot/applications/routing/reference.py
src/solverpilot/applications/routing/solution.py
src/solverpilot/applications/routing/timeline.py
src/solverpilot/applications/routing/validation.py
src/solverpilot/applications/tsp/__init__.py
src/solverpilot/applications/tsp/compile_cp.py
src/solverpilot/applications/tsp/compile_milp.py
src/solverpilot/applications/tsp/distance.py
src/solverpilot/applications/tsp/errors.py
src/solverpilot/applications/tsp/heuristics.py
src/solverpilot/applications/tsp/model.py
src/solverpilot/applications/tsp/reference.py
src/solverpilot/applications/tsp/solution.py
src/solverpilot/applications/tsp/validation.py
src/solverpilot/backends/__init__.py
src/solverpilot/backends/_casadi_highs_worker.py
src/solverpilot/backends/base.py
src/solverpilot/backends/bundled_capi.py
src/solverpilot/backends/casadi_conic.py
src/solverpilot/backends/health.py
src/solverpilot/backends/highspy_native.py
src/solverpilot/backends/nlopt_native.py
src/solverpilot/backends/osqp_native.py
src/solverpilot/backends/protocol_v2.py
src/solverpilot/backends/pyscipopt_native.py
src/solverpilot/backends/registry.py
src/solverpilot/backends/scipy_highs.py
src/solverpilot/backends/scipy_highs_lp.py
src/solverpilot/backends/scipy_slsqp_qp.py
src/solverpilot/backends/scipy_vendored_highs_dev.py
src/solverpilot/benchmark/__init__.py
src/solverpilot/benchmark/acquire.py
src/solverpilot/benchmark/baselines.py
src/solverpilot/benchmark/bundle.py
src/solverpilot/benchmark/campaign.py
src/solverpilot/benchmark/environment.py
src/solverpilot/benchmark/integrity.py
src/solverpilot/benchmark/model.py
src/solverpilot/benchmark/policy.py
src/solverpilot/benchmark/registry.py
src/solverpilot/benchmark/report.py
src/solverpilot/benchmark/runner.py
src/solverpilot/benchmark/slurm.py
src/solverpilot/benchmark/specs.py
src/solverpilot/benchmark/splits.py
src/solverpilot/benchmark/summary.py
src/solverpilot/benchmark/verify.py
src/solverpilot/benchmark/worker.py
src/solverpilot/bridges/__init__.py
src/solverpilot/bridges/engine.py
src/solverpilot/bridges/indicator.py
src/solverpilot/bridges/registry.py
src/solverpilot/bridges/transformation-tape.schema.json
src/solverpilot/bridges/types.py
src/solverpilot/bridges/validation.py
src/solverpilot/capabilities/__init__.py
src/solverpilot/capabilities/backend-capability-v2.schema.json
src/solverpilot/capabilities/conformance.py
src/solverpilot/capabilities/enums.py
src/solverpilot/capabilities/manifest.py
src/solverpilot/capabilities/ontology.py
src/solverpilot/capabilities/requirements.py
src/solverpilot/capabilities/resolve.py
src/solverpilot/capabilities/v2.py
src/solverpilot/cli/__init__.py
src/solverpilot/cli/backend_health.py
src/solverpilot/cli/benchmark.py
src/solverpilot/cli/benchmark_worker.py
src/solverpilot/cli/capabilities.py
src/solverpilot/conic/__init__.py
src/solverpilot/conic/backend.py
src/solverpilot/conic/compiler.py
src/solverpilot/conic/conformance.py
src/solverpilot/conic/conic-ir-v1.schema.json
src/solverpilot/conic/ir.py
src/solverpilot/conic/validation.py
src/solverpilot/cp/__init__.py
src/solverpilot/cp/conformance.py
src/solverpilot/cp/cp-ir-v1.schema.json
src/solverpilot/cp/ir.py
src/solverpilot/cp/model.py
src/solverpilot/cp/ortools_backend.py
src/solverpilot/cp/ortools_worker.py
src/solverpilot/cp/reference.py
src/solverpilot/cp/serialization.py
src/solverpilot/cp/validate.py
src/solverpilot/diagnose/__init__.py
src/solverpilot/diagnose/infeasibility.py
src/solverpilot/diagnose/model.py
src/solverpilot/evaluation/__init__.py
src/solverpilot/evaluation/metrics.py
src/solverpilot/evaluation/oracle.py
src/solverpilot/evaluation/proof.py
src/solverpilot/evaluation/references.py
src/solverpilot/evaluation/regret.py
src/solverpilot/experimental/__init__.py
src/solverpilot/extensions/__init__.py
src/solverpilot/extensions/entrypoints.py
src/solverpilot/extensions/errors.py
src/solverpilot/extensions/manager.py
src/solverpilot/extensions/manifest.py
src/solverpilot/extensions/model.py
src/solverpilot/extensions/versioning.py
src/solverpilot/history/__init__.py
src/solverpilot/history/errors.py
src/solverpilot/history/model.py
src/solverpilot/history/sqlite.py
src/solverpilot/inspect/__init__.py
src/solverpilot/inspect/fingerprint.py
src/solverpilot/intelligence/__init__.py
src/solverpilot/intelligence/errors.py
src/solverpilot/intelligence/fingerprint.py
src/solverpilot/intelligence/leakage.py
src/solverpilot/intelligence/schema.py
src/solverpilot/intelligence/shift.py
src/solverpilot/io/__init__.py
src/solverpilot/io/binary64.py
src/solverpilot/io/csv.py
src/solverpilot/io/errors.py
src/solverpilot/io/hashing.py
src/solverpilot/io/json.py
src/solverpilot/io/mapping.py
src/solverpilot/io/model.py
src/solverpilot/io/numeric.py
src/solverpilot/io/provenance.py
src/solverpilot/io/result.py
src/solverpilot/io/source.py
src/solverpilot/io/strict_json.py
src/solverpilot/minlp/__init__.py
src/solverpilot/minlp/compiler.py
src/solverpilot/minlp/conformance.py
src/solverpilot/minlp/convexity.py
src/solverpilot/minlp/ir.py
src/solverpilot/minlp/minlp-ir-v1.schema.json
src/solverpilot/minlp/orchestrator.py
src/solverpilot/minlp/validation.py
src/solverpilot/model/__init__.py
src/solverpilot/model/compiler.py
src/solverpilot/model/errors.py
src/solverpilot/model/expression.py
src/solverpilot/model/model.py
src/solverpilot/model/sets.py
src/solverpilot/model/types.py
src/solverpilot/nlp/__init__.py
src/solverpilot/nlp/ad.py
src/solverpilot/nlp/backend.py
src/solverpilot/nlp/compiler.py
src/solverpilot/nlp/conformance.py
src/solverpilot/nlp/ir.py
src/solverpilot/nlp/nlp-ir-v1.schema.json
src/solverpilot/nlp/validation.py
src/solverpilot/plan/__init__.py
src/solverpilot/plan/model.py
src/solverpilot/plan/planner.py
src/solverpilot/plan/production.py
src/solverpilot/plan/selective_lp.py
src/solverpilot/problem/__init__.py
src/solverpilot/problem/enums.py
src/solverpilot/problem/hashing.py
src/solverpilot/problem/linear.py
src/solverpilot/problem/mps.py
src/solverpilot/problem/quadratic.py
src/solverpilot/reporting/__init__.py
src/solverpilot/reporting/explain.py
src/solverpilot/reporting/model.py
src/solverpilot/reporting/render.py
src/solverpilot/runtime/__init__.py
src/solverpilot/runtime/auto.py
src/solverpilot/runtime/budgeting.py
src/solverpilot/runtime/executor.py
src/solverpilot/runtime/portfolio.py
src/solverpilot/runtime/result.py
src/solverpilot/session/__init__.py
src/solverpilot/session/conformance_v2.py
src/solverpilot/session/mutations.py
src/solverpilot/session/persistent-session-trace.schema.json
src/solverpilot/session/persistent.py
src/solverpilot/session/reuse.py
src/solverpilot/session/session.py
src/solverpilot/trace/__init__.py
src/solverpilot/trace/schema.py
src/solverpilot/validate/__init__.py
src/solverpilot/validate/core.py
src/solverpilot/validate/result.py