Repository navigation

Dynamic solver loading - #9

Merged

haz merged 20 commits into

dynamic-solver-loading

Aug 5, 2020

Merged

Dynamic solver loading#9
haz merged 20 commits into
masterfrom
dynamic-solver-loading

Commits on Aug 5, 2020
- Adding the SAT binary to the package.
  haz
  committed
  9b2edb2
- Making kissat executable.
  haz
  committed
  d5b3c08
- Minor change to allow for the binaries to go through.
  haz
  committed
  b6c3240
- Wrap kissat.
  haz
  committed
  f0e9200
- Redirect to the wrapped kissat.
  haz
  committed
  4282733
- Cleanup and a bug fix on multi-line solutions.
  haz
  committed
  2c45dc1
- Appeasing the flake8.
  haz
  committed
  de0fbc4
- Fixing up some mypy complaints.
  haz
  committed
  8dc0254
- Make kissat an optional setting at the module level.
  haz
  committed
  2a2de91
- Fix mypy issues in _cnf_satisfiable()
  
  blyxxyz
  authored and
  haz
  committed
  c27a3e9
- Update nnf/kissat.py
  
  haz
  and
  blyxxyz
  committed
  0eb8d97
- Update nnf/kissat.py
  
  haz
  and
  blyxxyz
  committed
  146cd32
- Update nnf/kissat.py
  
  haz
  and
  blyxxyz
  committed
  c4c061a
- Use the statically linked kissat.
  haz
  committed
  8cbd28c
- Adding the kissat docs.
  haz
  committed
  ffce671
- Minor fixes according to PR feedback.
  haz
  committed
  72e8819
- Adding a pointer to kissat repo and version used.
  haz
  committed
  2e2d6fc
- Adding a context manager for kissat, and adding tests.
  haz
  committed
  ae2ffe1
- Unified error raise and kissat license.
  haz
  committed
  321f248
- Appeasing mypy.
  haz
  committed
  5eaabf1