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

Experimental 3SAT solver #2

Merged
merged 15 commits into from
Sep 10, 2024
Merged

Experimental 3SAT solver #2

merged 15 commits into from
Sep 10, 2024

Commits on May 16, 2024

  1. [REFACTOR] Backend-code moved to module backend

    David Teller committed May 16, 2024
    Configuration menu
    Copy the full SHA
    c1e2535 View commit details
    Browse the repository at this point in the history

Commits on May 17, 2024

  1. [FEATURE] Now with 'run' subcommand and one end-to-end test

    David Teller committed May 17, 2024
    Configuration menu
    Copy the full SHA
    168f2ca View commit details
    Browse the repository at this point in the history

  2. [DOC] Documentation placeholders

    David Teller committed May 17, 2024
    Configuration menu
    Copy the full SHA
    1217567 View commit details
    Browse the repository at this point in the history

  3. [CI] GitHub actions

    David Teller committed May 17, 2024
    Configuration menu
    Copy the full SHA
    a7a9b0f View commit details
    Browse the repository at this point in the history

  4. [CI] Making test a bit more resilient

    David Teller committed May 17, 2024
    Configuration menu
    Copy the full SHA
    1ff5ea1 View commit details
    Browse the repository at this point in the history

Commits on May 21, 2024

  1. [FEAT] Front-end: 3SAT

    David Teller committed May 21, 2024
    Configuration menu
    Copy the full SHA
    a5138a2 View commit details
    Browse the repository at this point in the history

Commits on May 22, 2024

  1. [FEATURE] Adding proof of concept for 3sat, frontend, post-processing

    David Teller committed May 22, 2024
    Configuration menu
    Copy the full SHA
    0a5937a View commit details
    Browse the repository at this point in the history

Commits on May 27, 2024

  1. [FEATURE] 3sat now self-checks its results

    David Teller committed May 27, 2024
    Configuration menu
    Copy the full SHA
    0ff1a5c View commit details
    Browse the repository at this point in the history

Commits on Sep 9, 2024

  1. [WIP] Early bindings for Pulser Studio

    David Teller committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    b82a9cd View commit details
    Browse the repository at this point in the history

  2. [Refactor] Reworking a little bit serialization

    David Teller committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    f62c67a View commit details
    Browse the repository at this point in the history

  3. [Refactor] Reworking a little bit serialization

    David Teller committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    fc9ce8b View commit details
    Browse the repository at this point in the history

  4. [Safety] Adding a few checks for QUBO subset

    David Teller committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    68cce74 View commit details
    Browse the repository at this point in the history

  5. [WIP] Towards launching studio

    David Teller committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    58ccd93 View commit details
    Browse the repository at this point in the history

  6. [WIP] Wrapping up

    David Teller committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    ac35ddb View commit details
    Browse the repository at this point in the history

Commits on Sep 10, 2024

  1. [Tidy] Getting rid of warning dependency_on_unit_never_type_fallback

    David Teller committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    fdc18f4 View commit details
    Browse the repository at this point in the history