FreshPorts -- The Place For Ports If you buy from Amazon USA, please support us by using this link.
Follow us
Blog
Twitter

We also have a status page: https://freshports.wordpress.com/

Port details
py-cryptominisat Bindings to CryptoMiniSat (a SAT solver)
5.0.0_2 math on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: 6yearold@gmail.com search for ports maintained by this maintainer
Port Added: 05 May 2015 21:54:48
Also Listed In: python
License: MIT
This package provides Python bindings to CryptoMiniSat on the C++ level,
i.e. when importing pycryptosat, the CryptoMiniSat solver becomes part of the
Python process itself.

WWW: https://github.com/msoos/cryptominisat
SVNWeb : Homepage : PortsMon
    Pseudo-pkg-plist information, but much better, from make generate-plist
    Expand this list (3 items)
  1. /usr/local/share/licenses/py27-cryptominisat-5.0.0_2/catalog.mk
  2. /usr/local/share/licenses/py27-cryptominisat-5.0.0_2/LICENSE
  3. /usr/local/share/licenses/py27-cryptominisat-5.0.0_2/MIT
  4. Collapse this list.

To install the port: cd /usr/ports/math/py-cryptominisat/ && make install clean
To add the package: pkg install py27-cryptominisat

PKGNAME: py27-cryptominisat

distinfo:

TIMESTAMP = 1469896511
SHA256 (msoos-cryptominisat-5.0.0_GH0.tar.gz) = 4c000daf9886e7c55f05b00247688ed0341a19cda13de49e2f35f40e95cc9910
SIZE (msoos-cryptominisat-5.0.0_GH0.tar.gz) = 596712


NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.

Build dependencies:
  1. py27-setuptools>0 : devel/py27-setuptools
  2. python2.7 : lang/python27
Runtime dependencies:
  1. py27-setuptools>0 : devel/py27-setuptools
  2. python2.7 : lang/python27
Library dependencies:
  1. libcryptominisat5.so : math/cryptominisat
There are no ports dependent upon this port

Configuration Options
     No options to configure

USES:
compiler:c++11-lib python:-2.7

Master Sites:
  1. https://codeload.github.com/msoos/cryptominisat/tar.gz/5.0.0?dummy=/

Number of commits found: 8

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
10 Sep 2017 20:55:39
Original commit files touched by this commit  5.0.0_2
Revision:449591
gerald search for other commits by this committer
Bump PORTREVISION for ports depending on the canonical version of GCC
(via Mk/bsd.default-versions.mk and lang/gcc) which has moved from
GCC 5.4 to GCC 6.4 under most circumstances.

This includes ports
 - with USE_GCC=yes or USE_GCC=any,
 - with USES=fortran,
 - using Mk/bsd.octave.mk which in turn features USES=fortran, and
 - with USES=compiler specifying openmp, nestedfct, c++11-lib, c++11-lang,
   c++14-lang, c++0x, c11, or gcc-c++11-lib.

PR:		219275
01 Apr 2017 15:23:32
Original commit files touched by this commit  5.0.0_1
Revision:437439
gerald search for other commits by this committer
Bump PORTREVISIONs for ports depending on the canonical version of GCC and
lang/gcc which have moved from GCC 4.9.4 to GCC 5.4 (at least under some
circumstances such as versions of FreeBSD or platforms).

This includes ports
 - with USE_GCC=yes or USE_GCC=any,
 - with USES=fortran,
 - using using Mk/bsd.octave.mk which in turn has USES=fortran, and
 - with USES=compiler specifying openmp, nestedfct, c++11-lib, c++14-lang,
   c++11-lang, c++0x, c11, or gcc-c++11-lib.

PR:		216707
04 Sep 2016 15:11:25
Original commit files touched by this commit  5.0.0
Revision:421342
crees search for other commits by this committer
Correct dependency

Submitted by:	maintainer
01 Sep 2016 13:25:49
Original commit files touched by this commit  5.0.0
Revision:421212
cpm search for other commits by this committer
- Update math/cryptominisat and math/py-cryptominisat to 5.0.0

PR:		211460
Submitted by:	maintainer
Reviewed by:	koobs, feld (mentor)
Approved by:	feld (mentor)
19 May 2016 10:44:12
Original commit files touched by this commit  4.5.3
Revision:415499
amdmi3 search for other commits by this committer
- Fix trailing whitespace in pkg-descrs, categories [g-n]*

Approved by:	portmgr blanket
01 Apr 2016 14:16:20
Original commit files touched by this commit  4.5.3
Revision:412348
mat search for other commits by this committer
Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.

With hat:	portmgr
Sponsored by:	Absolight
06 Jan 2016 14:07:05
Original commit files touched by this commit  4.5.3
Revision:405351
koobs search for other commits by this committer
math/{py-}cryptominisat: Update to 4.5.3

Common:

- Update PORTVERSION and distinfo checksum (4.5.3) [1]
- Switch to GITHUB for DISTFILES, remove USES=tar accordingly [1]

py-cryptominisat:

- Convert into fully fledged port
- Add distinfo and proper (unique) pkg-descr
- Remove MASTER port overrides accordingly
- Match COMMENT to upstream setup.py:description
- De-scope USES=compiler to compiler only
- Remove upstreamed patches
(Only the first 15 lines of the commit message are shown above View all of this commit message)
05 May 2015 21:54:30
Original commit files touched by this commit  4.2.0
Revision:385495
jbeich search for other commits by this committer
math/cryptominisat, math/py-cryptominisat: add new ports

CryptoMiniSat is a modern, multi-threaded, feature-rich, simplifying SAT
solver, featuring over 100 configurable parameters to tune to specific
need, collection of statistical data to MySQL database + javascript-based
visualization of it and clean C++ and python interfaces.

WWW: http://www.msoos.org/cryptominisat4/

PR:		199929
Submitted by:	6yearold@gmail.com (based on)

Number of commits found: 8

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD

This site
What is FreshPorts?
About the authors
Issues
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
opensslNov 02
openssl-develNov 02
wordpressNov 01
php56Oct 30
php70Oct 30
php71Oct 30
wiresharkOct 30
chromiumOct 28
wgetOct 27
wgetOct 27
openoffice-4*Oct 26
openoffice-devel*Oct 26
gitlabOct 25
nodeOct 25
node4Oct 25

1 vulnerabilities affecting 7 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 31864
Broken 126
Deprecated 55
Ignore 364
Forbidden 0
Restricted 175
No CDROM 78
Vulnerable 51
Expired 11
Set to expire 47
Interactive 0
new 24 hours 2
new 48 hours3183
new 7 days3218
new fortnight3392
new month3444

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2017 Dan Langille. All rights reserved.