Repository navigation

Tseitin Encoding - #6

Merged

haz merged 19 commits into

Jul 31, 2020

Merged

Tseitin Encoding#6
haz merged 19 commits into
masterfrom
tseitin

Commits on Jul 23, 2020
- Initial pass at the tseitin encoding.
  haz
  committed
  1d39112
Commits on Jul 24, 2020
- Adding testing for tseitin.
  haz
  committed
  0f9b29f
- Little bit of clean up.
  haz
  committed
  d5051a7
Commits on Jul 25, 2020
- Needs fleshing out, but jotting down some notes for contributing.
  haz
  committed
  993ca80
- Several suggested fixes on the PR
  haz
  committed
  e6f62f5
- Minor fix to appease mypy
  haz
  committed
  ffff4e4
Commits on Jul 26, 2020
- Fixing up some minor stuff to appease the CI/CD.
  haz
  committed
  b9c588a
- Fixing duplicate test name.
  haz
  committed
  22149ca
- Removing unneeded import.
  haz
  committed
  c689b01
Commits on Jul 30, 2020
- Simplify tseitin encodings by default, but allow for override.
  haz
  committed
  57f14a8
- Add UUID-based auxiliary variable system
  blyxxyz
  committed
  dbdac4a
- Don't skip mypy and doctest in `tox -e py3`
  blyxxyz
  committed
  698d263
- Minor simplification during Tseitin, and only test when vars are equal
  haz
  committed
  7c56919
- Add Aux to __all__
  blyxxyz
  committed
  e794d1a
- Remove unused imports in tests
  blyxxyz
  committed
  562cebc
- Allowing nnf to call to_CNF
  haz
  committed
  6166a97
- Adding a complete_models method.
  haz
  committed
  93ce84a
- Fix complete_models() tests
  blyxxyz
  committed
  ee61d60
- Fix test_nnf.MODS()
  blyxxyz
  committed
  4f69428