projects / packages / python-pycosat.git / summary
| description | Python bindings to picosat (a SAT solver) |
| last change | Sun, 2 Dec 2018 12:17:22 +0000 (14:17 +0200) |
| URL | git://git.pld-linux.org/packages/python-pycosat.git |
| ssh://git@git.pld-linux.org/packages/python-pycosat.git |
| 2018-12-02 | Elan Ruusamäe | cleanup master | commit | commitdiff | tree | snapshot |
| 2018-12-02 | Elan Ruusamäe | update BR | commit | commitdiff | tree | snapshot |
| 2018-12-01 | Elan Ruusamäe | new; version 0.6.3 | commit | commitdiff | tree | snapshot |
| 5 years ago | master | shortlog | log | tree |