Skip to content

Tranformations for SDDs (Condition, Forget, Forall, ...) #73

New issue
New issue
Open
Open
Tranformations for SDDs (Condition, Forget, Forall, ...)#73
Milestone
 
Version 0.3
@khosravipasha

Description

@khosravipasha
khosravipasha
opened on Mar 8, 2021

Support transformations for SDDs

  • Conditioning (to be rename to conjoin_literals)
  • Forgetting
  • Forall

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions