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
75
76
77
78
79
|
2022-10-24 0.6.4:
-------------------
* Fix memory leak in blocksol() when iterating over solutions
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
|
