Repository navigation

Add PySAT support, add .solve(), make .models() lazy - #19

Merged

haz merged 21 commits into

Aug 23, 2020

Merged

Add PySAT support, add .solve(), make .models() lazy#19
haz merged 21 commits into
masterfrom
pysat

Commits on Aug 10, 2020
- Use pathlib more sensibly in tests
  blyxxyz
  committed
  9331882
- Eagerly import submodules, get rid of all Sphinx warnings
  blyxxyz
  committed
  0a449b8
Commits on Aug 15, 2020
- Add more sophisticated configuration management
  blyxxyz
  committed
  789b08f
- Add graphviz rendering for Jupyter notebooks
  blyxxyz
  committed
  6fc674c
- Use custom exceptions in nnf.dimacs
  blyxxyz
  committed
  d9dfdfd
- Remove stray print() call
  blyxxyz
  committed
  48d18a0
- Reformat __all__ declarations for ease of editing
  blyxxyz
  committed
  e8bed61
Commits on Aug 18, 2020
- Add PySAT support, add .solve(), rework d-DNNF model enumeration
  blyxxyz
  committed
  2a06319
- Improve nnf.dimacs handling of bad/non-int tokens
  blyxxyz
  committed
  def8d69
- Remove the Builder class
  blyxxyz
  committed
  0b7788e
- Add pretty-printing for IPython and hypothesis
  blyxxyz
  committed
  be509d8
- Make decomposable model enumeration lazy
  blyxxyz
  committed
  2b25b7f
- Mark generated MODS sentences as deterministic
  blyxxyz
  committed
  16496cd
- Bring statistics reporting in nnf.cli up to date
  blyxxyz
  committed
  37f934f
- Fix _models_deterministic() for `true` nodes
  blyxxyz
  committed
  55c21af
Commits on Aug 19, 2020
- Fix pathlib use in tests for older Python versions
  blyxxyz
  committed
  219544a
- Include kissat backend in .solve()
  blyxxyz
  committed
  9e2248c
- Fix sat_backend <-> models_backend typo
  blyxxyz
  committed
  74c68e7
- Don't complete PySAT's models, as they're already complete
  blyxxyz
  committed
  69e286c
Commits on Aug 22, 2020
- Add instructions for coverage analysis
  blyxxyz
  committed
  9b1c433
- Add Builder back in an undocumented module
  blyxxyz
  committed
  e623664