Skip to content

fix synthesis: allow input to be set as output in the CircuitFinderSat - #142

Open
spefk wants to merge 1 commit into
mainfrom
spefk-fix-empty-circuit-synthesis
Open

spefk wants to merge 1 commit into
mainfrom
spefk-fix-empty-circuit-synthesis

Conversation

@spefk

@spefk spefk commented Sep 17, 2026

Copy link
Copy Markdown
Collaborator

Changes:

  • FIXED CircuitFinderSat: now inputs can be used as outputs directly

@spefk
spefk requested a review from Seva-Vaskin September 17, 2026 22:37
@spefk spefk added bug Something isn't working synthesis labels Sep 17, 2026
@spefk spefk changed the title fix synthesis: allow input to be set as output in the sat based circu… fix synthesis: allow input to be set as output in the CircuitFinderSat Sep 17, 2026

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working synthesis

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[BUG] CircuitFinderSat cannot place an output on an input or a constant

1 participant