math/py-pycosat 0.6.6 FreeBSD

Bindings to PicoSAT (a SAT solver)

System: FreeBSD
Repository: FreeBSD ports
Maintainer: [email protected]
License: MIT
Categories: math, python
Package size: 16.9 KiB, 67.3 KiB installed

Description

PicoSAT is a popular SAT solver written by Armin Biere in pure C. This package provides efficient Python bindings to picosat on the C level, i.e. when importing pycosat, the picosat solver becomes part of the Python process itself.

In the other systems

System

Port

Version

FreeBSD

math/py-pycosat

0.6.6

DragonFly

math/py-pycosat

0.6.3_1

HardenedBSD

math/py-pycosat

0.6.6

GhostBSD

math/py-pycosat

0.6.6

Install

Binary package:

pkg install py312-pycosat

From the ports tree:

cd /usr/ports/math/py-pycosat/ && make install clean

To depend on this port in another port's Makefile:

RUN_DEPENDS=	py312-pycosat>0:math/py-pycosat

Packages

The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.

Repository

aarch64

amd64

armv6

armv7

i386

FreeBSD:14:latest

0.6.6

0.6.3

0.6.3_1

0.6.6

FreeBSD:14:quarterly

0.6.6

n/a

0.6.3_1

0.6.6

FreeBSD:15:latest

0.6.6

n/a

0.6.3_1

FreeBSD:15:quarterly

0.6.6

n/a

FreeBSD:16:latest

0.6.6

n/a

FreeBSD:16:quarterly

n/a

Dependencies

As this port's Makefile names them.

Library 1

libpicosat.so : math/picosat

The full lists below include those, and their dependencies in turn.

Build dependencies 12

Run dependencies 8

No port depends on this one.

Configuration

No options to configure.

USES: python
Service scripts: none

Files

distinfo 1

File

Size

SHA256

pycosat-0.6.6.tar.gz

71623

a376cfae20b16fcfbef24bf3c047a8a294c35032bb051fa98842c12bbab6f0ff

Master sites 1

PYPI

Commit history 0

No commits in the history this site was built from.