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

Tseitin Encoding #6

Merged
merged 19 commits into from
Jul 31, 2020
Merged

Tseitin Encoding #6

merged 19 commits into from
Jul 31, 2020

Commits on Jul 23, 2020

  1. Initial pass at the tseitin encoding.

    @haz
    haz committed Jul 23, 2020
    Configuration menu
    Copy the full SHA
    1d39112 View commit details
    Browse the repository at this point in the history

Commits on Jul 24, 2020

  1. Adding testing for tseitin.

    @haz
    haz committed Jul 24, 2020
    Configuration menu
    Copy the full SHA
    0f9b29f View commit details
    Browse the repository at this point in the history

  2. Little bit of clean up.

    @haz
    haz committed Jul 24, 2020
    Configuration menu
    Copy the full SHA
    d5051a7 View commit details
    Browse the repository at this point in the history

Commits on Jul 25, 2020

  1. Needs fleshing out, but jotting down some notes for contributing.

    @haz
    haz committed Jul 25, 2020
    Configuration menu
    Copy the full SHA
    993ca80 View commit details
    Browse the repository at this point in the history

  2. Several suggested fixes on the PR

    @haz
    haz committed Jul 25, 2020
    Configuration menu
    Copy the full SHA
    e6f62f5 View commit details
    Browse the repository at this point in the history

  3. Minor fix to appease mypy

    @haz
    haz committed Jul 25, 2020
    Configuration menu
    Copy the full SHA
    ffff4e4 View commit details
    Browse the repository at this point in the history

Commits on Jul 26, 2020

  1. Fixing up some minor stuff to appease the CI/CD.

    @haz
    haz committed Jul 26, 2020
    Configuration menu
    Copy the full SHA
    b9c588a View commit details
    Browse the repository at this point in the history

  2. Fixing duplicate test name.

    @haz
    haz committed Jul 26, 2020
    Configuration menu
    Copy the full SHA
    22149ca View commit details
    Browse the repository at this point in the history

  3. Removing unneeded import.

    @haz
    haz committed Jul 26, 2020
    Configuration menu
    Copy the full SHA
    c689b01 View commit details
    Browse the repository at this point in the history

Commits on Jul 30, 2020

  1. Simplify tseitin encodings by default, but allow for override.

    @haz
    haz committed Jul 30, 2020
    Configuration menu
    Copy the full SHA
    57f14a8 View commit details
    Browse the repository at this point in the history

  2. Add UUID-based auxiliary variable system

    @blyxxyz
    blyxxyz committed Jul 30, 2020
    Configuration menu
    Copy the full SHA
    dbdac4a View commit details
    Browse the repository at this point in the history

  3. Don't skip mypy and doctest in tox -e py3

    @blyxxyz
    blyxxyz committed Jul 30, 2020
    Configuration menu
    Copy the full SHA
    698d263 View commit details
    Browse the repository at this point in the history

  4. Minor simplification during Tseitin, and only test when vars are equal

    @haz
    haz committed Jul 30, 2020
    Configuration menu
    Copy the full SHA
    7c56919 View commit details
    Browse the repository at this point in the history

  5. Add Aux to __all__

    @blyxxyz
    blyxxyz committed Jul 30, 2020
    Configuration menu
    Copy the full SHA
    e794d1a View commit details
    Browse the repository at this point in the history

  6. Remove unused imports in tests

    @blyxxyz
    blyxxyz committed Jul 30, 2020
    Configuration menu
    Copy the full SHA
    562cebc View commit details
    Browse the repository at this point in the history

  7. Allowing nnf to call to_CNF

    @haz
    haz committed Jul 30, 2020
    2 Configuration menu
    Copy the full SHA
    6166a97 View commit details
    Browse the repository at this point in the history

  8. Adding a complete_models method.

    @haz
    haz committed Jul 30, 2020
    Configuration menu
    Copy the full SHA
    93ce84a View commit details
    Browse the repository at this point in the history

  9. Fix complete_models() tests

    @blyxxyz
    blyxxyz committed Jul 30, 2020
    Configuration menu
    Copy the full SHA
    ee61d60 View commit details
    Browse the repository at this point in the history

  10. Fix test_nnf.MODS()

    @blyxxyz
    blyxxyz committed Jul 30, 2020
    Configuration menu
    Copy the full SHA
    4f69428 View commit details
    Browse the repository at this point in the history