[Bug 199929] [NEW PORT] math/cryptominisat

[bugzilla-noreply at freebsd.org]

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=199929

--- Comment #6 from commit-hook at freebsd.org ---
A commit references this bug:

Author: jbeich
Date: Tue May  5 21:54:33 UTC 2015
New revision: 385495
URL: https://svnweb.freebsd.org/changeset/ports/385495

Log:
  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 at gmail.com (based on)

Changes:
  head/math/Makefile
  head/math/cryptominisat/
  head/math/cryptominisat/Makefile
  head/math/cryptominisat/distinfo
  head/math/cryptominisat/files/
  head/math/cryptominisat/files/patch-cryptominisat4_CMakeLists.txt
  head/math/cryptominisat/files/patch-cryptominisat4_bva.cpp
  head/math/cryptominisat/pkg-descr
  head/math/cryptominisat/pkg-plist
  head/math/py-cryptominisat/
  head/math/py-cryptominisat/Makefile
  head/math/py-cryptominisat/files/
  head/math/py-cryptominisat/files/patch-pycryptosat.cpp

-- 
You are receiving this mail because:
You are the assignee for the bug.