Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Support for more custom symbolic functions (like bit_count) #1357

Open
anurudhp opened this issue Aug 28, 2024 · 0 comments
Open

Support for more custom symbolic functions (like bit_count) #1357

anurudhp opened this issue Aug 28, 2024 · 0 comments
Labels
symbolic
Milestone
After v1.0

Comments

@anurudhp
Copy link
Contributor

#1355 (comment)

Cost of HammingWeightCompute depends on bit_count, and in this particular case, to upper bound the cost we need a lower bound on the bit_count. Currently returns 1 in the symbolic case.
@anurudhp anurudhp added this to the After v1.0 milestone Aug 28, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
symbolic
Projects
None yet
Milestone
After v1.0
Development

No branches or pull requests
1 participant
@anurudhp