math/minisat 2.2.0 NetBSD

Minimalistic yet highly efficient SAT solver

System: NetBSD
Repository: pkgsrc
Maintainer: [email protected]
Last update: 2026-08-04
Commit: e282cfb26b
License: mit
Categories: math
Package size: 38.8 KiB, 87.4 KiB installed

Description

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

In the other systems

System

Port

Version

NetBSD

math/minisat

2.2.0

FreeBSD

math/minisat

2.2.1_2

OpenBSD

math/minisat

2.2.0.20170810p1

DragonFly

math/minisat

2.2.1_2

Install

Binary package:

pkgin install minisat

From pkgsrc:

cd /usr/pkgsrc/math/minisat && make install clean

Dependencies

No port depends on this one.

Commit history 1

Date Commit Credits Log message

2026-08-04

e282cfb26b

wiz

*: add LDFLAGS overide that was previously in mk

This is a workaround and should be fixed properly per-package - they should use the pkgsrc LDFLAGS, but this restores what happened before the mk/ cleanup. Fixes relro build for packages that do not honor LDFLAGS. Package list provided by mef@, thanks! Workaround commit requested by bsiegert on tech-pkg.