Changelogs » Pycosat

PyUp Safety actively tracks 267,404 Python packages for vulnerabilities and notifies you when to upgrade.

Pycosat

0.6.3

-------------------
  * Revert 'always use Python memory manager'

0.6.2

-------------------
  * update picosat to 965
  * fixed __version__ attribute on Windows, 21
  * fix some typos
  * add official Python 3.5 and 3.6 support

0.6.1

-------------------
  * fix the initialization of the soliterator type in Py3k, thanks bfroehle
  * update picosat from 954 to 957
  * add ability of solve and itersolve to take general iterables as clauses
  arguments, each containing general iterables

0.6.0

-------------------
  * add ability to specify clauses as objects which support the iterator
  protocol
  * added a Python 3 version of the 8 queens example which demonstrates
  the usefulness of the "yield from" statement

0.5.0

-------------------
  * add Python 2.5 support
  * add module docstring
  * add 8 queens problem as an example

0.4.2

-------------------
  * fixed types in readme
  * add SAT-based Sudoku solver as an example
  * add docstings to solve and itersolve
  * add test for clauses containing type long literals on Python 2

0.4.1

-------------------
  * add documentation
  * added more tests
  * add error handling for memory management

0.4.0

-------------------
  * allow keyword arguments to pycosat.solve and pycosat.itersolve
  * add ability to set propagation limit
  * fixed some bugs which were causing segfaults

0.3.0

-------------------
  * add solution iterator (pycosat.itersolve)
  * make number of variables optional argument

0.2.0

-------------------
  * fixed MSVC compiler problems
  * use Python memory manager in picosat
  * release GIL during main picosat computation

0.1.0

-------------------
  * initial pre-alpha release