math/py-cryptominisat 5.11.21_1 FreeBSD

Bindings to CryptoMiniSat (a SAT solver)

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

Description

This package provides Python bindings to CryptoMiniSat on the C++ level, i.e. when importing pycryptosat, the CryptoMiniSat solver becomes part of the Python process itself.

In the other systems

System

Port

Version

FreeBSD

math/py-cryptominisat

5.11.21_1

DragonFly

math/py-cryptominisat

5.11.21_1

Install

Binary package:

pkg install py312-cryptominisat

From the ports tree:

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

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

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

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

5.11.21_1

5.11.4

5.11.21_1

FreeBSD:14:quarterly

5.11.21_1

n/a

5.11.21_1

FreeBSD:15:latest

5.11.21_1

n/a

5.11.21_1

FreeBSD:15:quarterly

5.11.21_1

n/a

FreeBSD:16:latest

5.11.21_1

n/a

FreeBSD:16:quarterly

n/a

Dependencies

As this port's Makefile names them.

Build 1

${PYTHON_PKGNAMEPREFIX}toml>0 : textproc/py-toml

Library 1

libcryptominisat5.so : math/cryptominisat

Runtime 1

${PYTHON_PKGNAMEPREFIX}toml>0 : textproc/py-toml

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

Build dependencies 17

Run dependencies 15

No port depends on this one.

Configuration

No options to configure.

USES: compiler:c++11-lib python
Service scripts: none

Files

distinfo 1

File

Size

SHA256

msoos-cryptominisat-5.11.21_GH0.tar.gz

975459

288fd53d801909af797c72023361a75af3229d1806dbc87a0fcda18f5e03763b

Commit history 0

No commits in the history this site was built from.