File: CHANGELOG

package info (click to toggle)
python-pycosat 0.6.3+dfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, sid
  • size: 152 kB
  • sloc: python: 399; ansic: 330; makefile: 23; sh: 9
file content (74 lines) | stat: -rw-r--r-- 1,847 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
2017-10-29   0.6.3:
-------------------
  * Revert 'always use Python memory manager'


2017-03-16   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


2014-04-28   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


2013-04-16   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


2013-04-09   0.5.0:
-------------------
  * add Python 2.5 support
  * add module docstring
  * add 8 queens problem as an example


2013-04-01   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


2013-03-28   0.4.1:
-------------------
  * add documentation
  * added more tests
  * add error handling for memory management


2013-03-27   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


2013-03-26   0.3.0:
-------------------
  * add solution iterator (pycosat.itersolve)
  * make number of variables optional argument


2013-03-25   0.2.0:
-------------------
  * fixed MSVC compiler problems
  * use Python memory manager in picosat
  * release GIL during main picosat computation


2013-03-24   0.1.0:
-------------------
  * initial pre-alpha release