notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Want a good monitor light? See my photosAll times are UTC
Ukraine
This referral link gives you 10% off a Fastmail.com account and gives me a discount on my Fastmail account.

Get notified when packages are built

A new feature has been added. FreshPorts already tracks package built by the FreeBSD project. This information is displayed on each port page. You can now get an email when FreshPorts notices a new package is available for something on one of your watch lists. However, you must opt into that. Click on Report Subscriptions on the right, and New Package Notification box, and click on Update.

Finally, under Watch Lists, click on ABI Package Subscriptions to select your ABI (e.g. FreeBSD:14:amd64) & package set (latest/quarterly) combination for a given watch list. This is what FreshPorts will look for.

Port details
picosat Satisfiability (SAT) solver for boolean variables
957 devel Deleted 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 View this port on Repology. pkg-fallout 957Version of this port present on the latest quarterly branch.
Maintainer: koobs@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2014-08-23 06:30:43
Last Update: 2014-08-25 11:10:03
SVN Revision: 366063
Also Listed In: math
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. WWW: http://fmv.jku.at/picosat
Homepage    cgit ¦ GitHub ¦ GitHub ¦ GitLab ¦ SVNWeb

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:
  • picosat>0:devel/picosat
No installation instructions:
This port has been deleted.
PKGNAME: picosat
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.
This port has no dependencies.
NOTE: dependencies for deleted ports are notoriously suspect
This port is required by:
for Libraries

Deleted ports which required this port:

Expand this list of 1 deleted port
  1. devel/py-pycosat*
  2. Collapse this list of deleted ports.
* - deleted ports are only shown under the This port is required by section. It was harder to do for the Required section. Perhaps later...

Configuration Options:
No options to configure
Options name:
N/A
FreshPorts was unable to extract/find any pkg message
Master Sites:
Expand this list (2 items)
Collapse this list.
  1. http://distcache.FreeBSD.org/ports-distfiles/
  2. http://fmv.jku.at/picosat/
Collapse this list.

Number of commits found: 2

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
957
25 Aug 2014 11:10:03
Revision:366063Original commit files touched by this commit
koobs search for other commits by this committer
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
957
23 Aug 2014 06:30:30
Revision:365711Original commit files touched by this commit
koobs search for other commits by this committer
devel/picosat: Satisfiability (SAT) solver for boolean variables

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.

WWW: http://fmv.jku.at/picosat

Number of commits found: 2