math/kissat 4.0.4 FreeBSD

Kissat SAT Solver

System: FreeBSD
Repository: FreeBSD ports
Maintainer: [email protected]
License: MIT
Categories: math
Package size: 296.0 KiB, 1649.0 KiB installed

Description

KISSAT is a "keep it simple and clean bare metal SAT solver" written in C. It is a port of CaDiCaL back to C with improved data structures, better scheduling of inprocessing and optimized algorithms and implementation. Coincidentally 'kissat' also means 'cats' in Finnish.

In the other systems

System

Port

Version

FreeBSD

math/kissat

4.0.4

DragonFly

math/kissat

4.0.2

Install

Binary package:

pkg install kissat

From the ports tree:

cd /usr/ports/math/kissat/ && make install clean

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

RUN_DEPENDS=	kissat>0:math/kissat

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	4.0.4	4.0.4	-	4.0.3	4.0.4
FreeBSD:14:quarterly	4.0.4	4.0.4	n/a	4.0.3	4.0.4
FreeBSD:15:latest	4.0.4	4.0.4	n/a	4.0.3	4.0.3
FreeBSD:15:quarterly	4.0.4	4.0.4	n/a	n/a	n/a
FreeBSD:16:latest	4.0.4	4.0.4	n/a	n/a	n/a
FreeBSD:16:quarterly	n/a	n/a	n/a	n/a	n/a

Dependencies

The Makefile names none itself; they come from USES and USE_*.

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

Build dependencies 3

Required by 2

Configuration

No options to configure.

USES: gmake
Service scripts: none

Files

distinfo 1

File

Size

SHA256

arminbiere-kissat-rel-4.0.4_GH0.tar.gz

532329

bfe93eaa6323b48011e4b1fcf74b3f2e20f9de544767e728009e5b2018296193

Commit history 0

No commits in the history this site was built from.