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.

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

Sketch a SAT example #529

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Sketch a SAT example #529

wants to merge 1 commit into from

Conversation

fritzo
Copy link
Member

@fritzo fritzo commented Apr 14, 2021

pair coded with @eb8680

This attempts to implement answer set programming and a SAT example.

Blocking issues include:

  • AdjointTape and Approximate seem a bit awkward in representing these abstractions. Maybe they conflate two concepts like (product of marginals, joint distributions); maybe we should separate those concepts.
  • It would be nice to have a Stream funsor. Currently Funsor objects eagerly compute metadata, but a Stream would need lazily computed length. Thus as part of Support Python immutable datatypes without subclassing Funsor #526 we may want to make funsor.meta(-) lazier.
  • This requires intricate use of Delta and we may want to first decide whether Scatter should replace Delta Replace Delta with Scatter? #528

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant