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

Use post-solve SAT environment for model generation #789

Merged
merged 5 commits into from
Sep 4, 2023
Merged

Use post-solve SAT environment for model generation #789

merged 5 commits into from
Sep 4, 2023

Commits on Aug 24, 2023

  1. Return the right environment

    @Halbaroth
    Halbaroth committed Aug 24, 2023
    Configuration menu
    Copy the full SHA
    1e1bcb5 View commit details
    Browse the repository at this point in the history

  2. Promote tests

    @Halbaroth
    Halbaroth committed Aug 24, 2023
    Configuration menu
    Copy the full SHA
    1ae7c7c View commit details
    Browse the repository at this point in the history

Commits on Sep 4, 2023

  1. Use an adt to save the results of queries

    @Halbaroth
    Halbaroth committed Sep 4, 2023
    Configuration menu
    Copy the full SHA
    ad9d4f0 View commit details
    Browse the repository at this point in the history

  2. Use an adt to save the results of queries (bis)

    @Halbaroth
    Halbaroth committed Sep 4, 2023
    Configuration menu
    Copy the full SHA
    b4501b4 View commit details
    Browse the repository at this point in the history

  3. Fix lib_usage and worker_js

    @Halbaroth
    Halbaroth committed Sep 4, 2023
    Configuration menu
    Copy the full SHA
    cbd5e1b View commit details
    Browse the repository at this point in the history