Carview!

CARVIEW

MOTORHOMES

Select Language

HTTP/2 200 expires: Thu, 19 Nov 1981 08:52:00 GMT cache-control: no-store, no-cache, must-revalidate pragma: no-cache set-cookie: PHPSESSID=aq3toe46tvp9egrjq29tpbof16; path=/ content-type: text/html; charset=UTF-8 date: Mon, 29 Dec 2025 18:10:01 GMT server: Apache pkgsrc.se | The NetBSD package collection

Skip to main content.

./math/minisat, Minimalistic yet highly efficient SAT solver

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]

Branch: CURRENT, Version: 2.2.0, Package name: minisat-2.2.0, Maintainer: pkgsrc-users

MiniSat is a minimalistic, industrial strength, open-source SAT solver,
developed to help researchers and developers alike to get started on SAT.

Required to build:
[pkgtools/cwrappers]

Master sites:

https://minisat.se/downloads/ (Download)

Filesize: 42.851 KB

Version history: (Expand)

(2025-10-24) Package has been reborn
(2025-10-24) Package deleted from pkgsrc
(2025-07-15) Package has been reborn
(2025-07-15) Package deleted from pkgsrc
(2013-10-28) Package added to pkgsrc.se, version minisat-2.2.0 (created)

CVS history: (Expand)

2023-08-02 21:21:59 by Nia Alarie | Files touched by this commit (69)

Log message:
*: Mark packages that were originally identified as requiring
C++03 due to failing to build with a C++14 default compiler
with FORCE_CXX_STD instead of USE_LANGUAGES.

2021-10-26 12:56:13 by Nia Alarie | Files touched by this commit (458)

Log message:
math: Replace RMD160 checksums with BLAKE2s checksums
All checksums have been double-checked against existing RMD160 and
SHA512 hashes

2021-10-07 16:28:36 by Nia Alarie | Files touched by this commit (458)

Log message:
math: Remove SHA1 hashes for distfiles

2018-07-18 02:06:25 by Joerg Sonnenberger | Files touched by this commit (168)

Log message:
Mark packages that require C++03 (or the GNU variants) if they fail with
C++14 default language.

2018-01-01 19:16:39 by Roland Illig | Files touched by this commit (47)

Log message:
Replaced $(ROUND) with ${CURLY} variable references.
This has been a pkglint warning for several years now, and pkglint can even
fix it automatically. And it did for this commit.
Only in lang/mercury, two passes of autofixing were necessary because there
were nested variables.

2015-11-04 00:33:46 by Alistair G. Crooks | Files touched by this commit (262)

Log message:
Add SHA512 digests for distfiles for math category
Problems found locating distfiles:
	Package dfftpack: missing distfile dfftpack-20001209.tar.gz
	Package eispack: missing distfile eispack-20001130.tar.gz
	Package fftpack: missing distfile fftpack-20001130.tar.gz
	Package linpack: missing distfile linpack-20010510.tar.gz
	Package minpack: missing distfile minpack-20001130.tar.gz
	Package odepack: missing distfile odepack-20001130.tar.gz
	Package py-networkx: missing distfile networkx-1.10.tar.gz
	Package py-sympy: missing distfile sympy-0.7.6.1.tar.gz
	Package quadpack: missing distfile quadpack-20001130.tar.gz
Otherwise, existing SHA1 digests verified and found to be the same on
the machine holding the existing distfiles (morden).  All existing
SHA1 digests retained for now as an audit trail.

2014-12-15 13:31:09 by Jonathan Perkin | Files touched by this commit (1)

Log message:
Find correct zlib.

2014-01-09 15:38:33 by Jonathan Perkin | Files touched by this commit (3)

Log message:
Needs zlib.  Provide dummy Minisat::memUsedPeak().

Original Source | Taken Source