Repository navigation

Memoization and other optimizations and fixes - #17

Merged

blyxxyz merged 19 commits into

masterfrom

memoization

Aug 10, 2020

Merged

Memoization and other optimizations and fixes#17
blyxxyz merged 19 commits into
masterfrom
memoization

Commits on Aug 7, 2020
- Include test_nnf.py in flake8
  blyxxyz
  committed
  f91ceb1
- Move private helper definitions to nnf.util
  blyxxyz
  committed
  8dc7cab
- nnf.cli: move DOT_FORMATS constant to start of file, fix case
  blyxxyz
  committed
  164564c
- Don't make model_count() keep all models in memory
  blyxxyz
  committed
  b588495
- Clean up examples/socialchoice.py
  blyxxyz
  committed
  99f4410
- Cache sentence properties, rework is_CNF and is_DNF
  blyxxyz
  committed
  bd45a5c
- Use generic .to_CNF() method instead of nnf.tseitin.to_CNF()
  blyxxyz
  committed
  59cd2f4
- Shorten method links
  blyxxyz
  committed
  193d632
- Replace a few methods by simple SAT-backed implementations
  blyxxyz
  committed
  36fc523
- Add more Python versions to Travis
  blyxxyz
  committed
  3f97229
- Make weakref memoization more test-friendly
  blyxxyz
  committed
  994d6d4
- Write a more comprehensive CONTRIBUTING.md
  blyxxyz
  committed
  4ddc55e
- Assert pre-marked sentence properties
  blyxxyz
  committed
  aed7f49
- Put sentence size limit on test_implicates_implicants_negation_rule
  blyxxyz
  committed
  d2e4fa0
Commits on Aug 8, 2020
- Tweak Tox workflow
  blyxxyz
  committed
  01a45c8
- Add note about running just tests
  blyxxyz
  committed
  203d154
- Allow empty clauses when dumping CNF
  blyxxyz
  committed
  c295062
- Do not test that .implicates() is idempotent (it isn't)
  blyxxyz
  committed
  a2540ce
Commits on Aug 10, 2020
- Fix documentation link
  blyxxyz
  committed
  c190322

Commits

Commits on Aug 7, 2020

Commits on Aug 8, 2020

Commits on Aug 10, 2020