notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Port details
picosat Satisfiability (SAT) solver for boolean variables
965 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 View this port on Repology. pkg-fallout 965Version of this port present on the latest quarterly branch.
Maintainer: koobs@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2014-08-25 11:10:10
Last Update: 2021-04-06 14:31:07
Commit Hash: 305f148
License: MIT
Description:
SVNWeb : git : Homepage
pkg-plist: as obtained via: make generate-plist
Expand this list (14 items)
Collapse this list.
  1. @ldconfig
  2. /usr/local/share/licenses/picosat-965/catalog.mk
  3. /usr/local/share/licenses/picosat-965/LICENSE
  4. /usr/local/share/licenses/picosat-965/MIT
  5. bin/picogcnf
  6. bin/picomcs
  7. bin/picomus
  8. bin/picosat
  9. include/picosat.h
  10. lib/libpicosat.a
  11. lib/libpicosat.so
  12. @owner
  13. @group
  14. @mode
Collapse this list.
Dependency lines:
  • For RUN/BUILD depends:
    • picosat>0:math/picosat
  • For LIB depends:
    • libpicosat.so:math/picosat
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
PKGNAME: picosat
Flavors: there is no flavor information for this port.
distinfo:
Packages (timestamps in pop-ups are UTC):
picosat
ABIlatestquarterly
FreeBSD:11:aarch64965965
FreeBSD:11:amd64965965
FreeBSD:11:armv6957965
FreeBSD:11:i386965965
FreeBSD:11:mips--
FreeBSD:11:mips64965965
FreeBSD:12:aarch64965965
FreeBSD:12:amd64965965
FreeBSD:12:armv6965965
FreeBSD:12:armv7965965
FreeBSD:12:i386965965
FreeBSD:12:mips--
FreeBSD:12:mips64965965
FreeBSD:12:powerpc64-965
FreeBSD:13:aarch64965965
FreeBSD:13:amd64965965
FreeBSD:13:armv6965965
FreeBSD:13:armv7965965
FreeBSD:13:i386965965
FreeBSD:13:mips--
FreeBSD:13:mips64965965
FreeBSD:13:powerpc64965965
FreeBSD:14:aarch64965-
FreeBSD:14:amd64965-
FreeBSD:14:armv6965-
FreeBSD:14:armv7965-
FreeBSD:14:i386965-
FreeBSD:14:mips--
FreeBSD:14:mips64965-
FreeBSD:14:powerpc64965-
 

This port is required by:
for Libraries
  1. math/boolector
  2. math/py-pycosat

Configuration Options:
Options name:
Master Sites:
Expand this list (1 items)
Collapse this list.
  1. http://fmv.jku.at/picosat/
Collapse this list.
Port Moves
  • port moved here from devel/picosat on 2014-08-25
    REASON: More appropriate primary category

Number of commits found: 3

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
06 Apr 2021 14:31:07
 files touched by this commit commit hash:305f148f482daf30dcf728039d03d019f88344eb  965
mat search for other commits by this committer
Remove # $FreeBSD$ from Makefiles.
27 Jun 2016 13:41:18
Original commit files touched by this commit Revision:417659  965
koobs search for other commits by this committer
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
25 Aug 2014 11:10:03
Original commit files touched by this commit Revision:366063  957
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

Number of commits found: 3