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

FFI for SDD and d-DNNF #188

Merged
merged 9 commits into from
Oct 23, 2024
Merged

FFI for SDD and d-DNNF #188

merged 9 commits into from
Oct 23, 2024

Commits on May 10, 2024

  1. FFI for CNF -> SDD compilation

    @bamarsha
    bamarsha committed May 10, 2024
    Configuration menu
    Copy the full SHA
    67eee6a View commit details
    Browse the repository at this point in the history

  2. FFI for CNF -> d-DNNF compilation

    @bamarsha
    bamarsha committed May 10, 2024
    Configuration menu
    Copy the full SHA
    f0a5639 View commit details
    Browse the repository at this point in the history

  3. Type alias for BddPtr

    @bamarsha
    bamarsha committed May 10, 2024
    Configuration menu
    Copy the full SHA
    c788312 View commit details
    Browse the repository at this point in the history

Commits on May 11, 2024

  1. VarOrder constructor

    @bamarsha
    bamarsha committed May 11, 2024
    Configuration menu
    Copy the full SHA
    c3c6b5c View commit details
    Browse the repository at this point in the history

  2. Remove clippy allows

    @bamarsha
    bamarsha committed May 11, 2024
    Configuration menu
    Copy the full SHA
    4e53e84 View commit details
    Browse the repository at this point in the history

Commits on May 25, 2024

  1. CNF -> DTree -> VTree

    @bamarsha
    bamarsha committed May 25, 2024
    Configuration menu
    Copy the full SHA
    d0d7560 View commit details
    Browse the repository at this point in the history

  2. pub not needed for FFI

    @bamarsha
    bamarsha committed May 25, 2024
    Configuration menu
    Copy the full SHA
    9a10340 View commit details
    Browse the repository at this point in the history

Commits on Oct 23, 2024

  1. Merge branch 'main' into bamarsha/ffi

    @bamarsha
    bamarsha committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    19720c2 View commit details
    Browse the repository at this point in the history

  2. Format

    @bamarsha
    bamarsha committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    19ca603 View commit details
    Browse the repository at this point in the history