| Port details |
- picosat Satisfiability (SAT) solver for boolean variables
- 965 math
 =2      965Version of this port present on the latest quarterly branch. - Maintainer: bofh@FreeBSD.org
- Port Added: 2014-08-25 11:10:10
- Last Update: 2022-09-07 21:58:51
- Commit Hash: fb16dfe
- People watching this port, also watch:: jdictionary, py311-Automat, py311-python-gdsii, py39-PyOpenGL, p5-Sane
- License: MIT
- WWW:
- http://fmv.jku.at/picosat
- Description:
- PicoSAT is a satisfiability (SAT) solver for boolean variables in
boolean expressions. A SAT solver can determine if it is possible to
find assignments to boolean variables that would make a given set of
expressions true. If it's satisfiable, it can also show a set of
assignments that make the expression true.
Many problems can be broken down into a large SAT problem (perhaps with
thousands of variables), so SAT solvers have a variety of uses.
  ¦  ¦  ¦  ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- To install the port:
- cd /usr/ports/math/picosat/ && make install clean
- To add the package, run one of these commands:
- pkg install math/picosat
- pkg install picosat
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: picosat
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1467032430
SHA256 (picosat-965.tar.gz) = 15169b4f28ba8f628f353f6f75a100845cdef4a2244f101a02b6e5a26e46a754
SIZE (picosat-965.tar.gz) = 64386
Packages (timestamps in pop-ups are UTC):
- This port has no dependencies.
- This port is required by:
- for Libraries
-
- math/boolector
- math/py-pycosat
Configuration Options:- ===> The following configuration options are available for picosat-965:
DEBUG=off: Build with debugging support
===> Use 'make config' to modify these settings
- Options name:
- math_picosat
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
Number of commits found: 8
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
07 Sep 2022 21:58:51
 |
Stefan Eßer (se) |
Remove WWW entries moved into port Makefiles
Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.
This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.
Approved by: portmgr (tcberner) |
965
07 Sep 2022 21:10:59
|
Stefan Eßer (se) |
Add WWW entries to port Makefiles
It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.
Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.
There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.
(Only the first 15 lines of the commit message are shown above  ) |
965
20 Jul 2022 14:22:24
|
Tobias C. Berner (tcberner) |
math: remove 'Created by' lines
A big Thank You to the original contributors of these ports:
* Aaron Dalton <aaron@FreeBSD.org>
* Aaron Dalton <aaron@daltons.ca>
* Alessando Sagratini <ale_sagra@hotmail.com>
* Alex Dupre <ale@FreeBSD.org>
* Alexey Dokuchaev <danfe@FreeBSD.org>
* Amarendra Godbole <amarendra.godbole@gmail.com>
* Anders Nordby <anders@FreeBSD.org>
* Andreas Fehlner (fehlner@gmx.de)
* Andrew L. Neporada <andrew@chg.ru>
* Andrey <gugu@zoo.rambler.ru>
* Andrey Zakhvatov (Only the first 15 lines of the commit message are shown above ) |
965
08 Mar 2022 02:09:57
|
Muhammad Moinur Rahman (bofh) |
*/*: Take maintainership |
965
07 Mar 2022 19:07:39
|
Rene Ladan (rene) |
all: return koobs' ports to the pool after safekeeping his commit bit. |
965
06 Apr 2021 14:31:07
|
Mathieu Arnold (mat) |
Remove # $FreeBSD$ from Makefiles. |
965
27 Jun 2016 13:41:18
 |
koobs |
math/picosat: Update to 965
* Update DISTVERSION and distinfo checksum (965)
* Add CONFIGURE_SCRIPT (filename change to .sh extension)
* Add DEBUG option
* Use --trace, --stats (and --logs) with DEBUG, rather than in the
default (non-debug) build.
* Specify --static explicitly even though its built to avoid possible
future footshooting.
http://fmv.jku.at/picosat/NEWS |
957
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 |
Number of commits found: 8
|
As an Amazon Associate I earn from qualifying purchases.