Memoization and other optimizations and fixes - #17

Merged

blyxxyz merged 19 commits into

Aug 10, 2020

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