lingeling

1.0.0

Lingeling SAT Solver

Lingeling, Plingeling and Treengeling. The parallel portfolio front-end Plingeling was ranked on the first place on unsatisfiable instances in the parallel track of the SAT Competition 2020, and second place overall in the parallel track.

Origin: math/lingeling

Category: math

Size: 4.99MiB

License: MIT

Maintainer: yuri@FreeBSD.org

Dependencies: 0 packages

Required by: 0 packages

Website: fmv.jku.at/lingeling

$pkg install lingeling

More in math

py311-numpy1.26.4_11,1

The New Numeric Extension to Python

R4.5.2

Language for statistical computing and graphics

gmp6.3.0

Free library for arbitrary precision arithmetic

openblas0.3.30,2

Optimized BLAS library based on GotoBLAS2

fftw33.3.10_5

Fast C routines to compute the Discrete Fourier Transform

py311-matplotlib3.8.0_2

Plotting library uses a syntax familiar to MATLAB users

py311-pandas2.3.3,1

Flexible, high-performance data analysis in Python

mpfr4.2.2,1

Library for multiple-precision floating-point computations

octave10.3.0_2

High-level interactive language for numerical computations

octave-forge-base1.9_1

Octave-forge baseport for all packages