| Port details |
- py-pycosat Bindings to PicoSAT (a SAT solver)
- 0.6.0 devel
 =0      0.6.0Version of this port present on the latest quarterly branch. - Maintainer: koobs@FreeBSD.org
- Port Added: 2014-08-23 07:11:43
- Last Update: 2014-08-25 11:10:03
- SVN Revision: 366063
- Also Listed In: math python
- License: MIT
- WWW:
- https://github.com/ContinuumIO/pycosat
- Description:
- PicoSAT is a popular SAT solver written by Armin Biere in pure C. This
package provides efficient Python bindings to picosat on the C level,
i.e. when importing pycosat, the picosat solver becomes part of the
Python process itself.
WWW: https://github.com/ContinuumIO/pycosat
 cgit ¦ GitHub ¦ GitHub ¦ GitLab ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - There is no configure plist information for this port.
- Dependency lines:
-
- py27-pycosat>0:devel/py-pycosat
- No installation instructions:
- This port has been deleted.
- PKGNAME: py27-pycosat
- Flavors: there is no flavor information for this port.
- distinfo:
- There is no distinfo for this port.
No package information for this port in our database- Sometimes this happens. Not all ports have packages. Perhaps there is a build error. Check the fallout link:
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- py27-setuptools27>0 : devel/py-setuptools27
- python2.7 : lang/python27
- Runtime dependencies:
-
- py27-setuptools27>0 : devel/py-setuptools27
- python2.7 : lang/python27
- Library dependencies:
-
- libpicosat.so : devel/picosat
- There are no ports dependent upon this port
Configuration Options:- No options to configure
- Options name:
- N/A
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
Number of commits found: 2
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
0.6.0
25 Aug 2014 11:10:03
  |
koobs |
Move picosat and py-pycosat from devel -> math
- Remove from devel/Makefile
- Add to math/Makefile
- Update CATEGORIES for both ports
- Add MOVED entries
While I'm here, sort MOVED entries causing MOVEDlint.awk error [1]
after r365599 [2]
[1] 6470: date going backwards from 2014-08-20 to 2014-08-15
[2] https://svnweb.freebsd.org/changeset/ports/365599
Suggested by: vsevolod |
0.6.0
23 Aug 2014 07:11:36
|
koobs |
[NEW] devel/py-pycosat: Bindings to PicoSAT (a SAT solver)
PicoSAT is a popular SAT solver written by Armin Biere in pure C. This
package provides efficient Python bindings to picosat on the C level,
i.e. when importing pycosat, the picosat solver becomes part of the
Python process itself.
WWW: https://github.com/ContinuumIO/pycosat |
Number of commits found: 2
|
As an Amazon Associate I earn from qualifying purchases.