Skip to content

New rules in Pauli basis - #53

Closed
gabrielaczapska wants to merge 4 commits into
System-Verification-Lab:mainfrom
Luj8n:new_rules
Closed

gabrielaczapska wants to merge 4 commits into
System-Verification-Lab:mainfrom
Luj8n:new_rules

Conversation

@gabrielaczapska

Copy link
Copy Markdown

No description provided.

Luj8n and others added 4 commits September 27, 2026 18:12
* chore: add local solver installer

* chore: setup uv dev workflow & enable synthesis tests

* chore: setup ruff and format everything

* chore: make pyright/pylance work

* chore: add @staticmethod and fix a typing

* chore: make sure test fails when solvers are missing

* chore: allow to run scripts from the root
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants