cadiback

g20240729_1

CaDiBack BackBone Extractor

CaDiBack is a tool using the CaDiCaL solver to determine the backbone of a satisfiable instance, which are those literals set to true in all models of the formula.

Origin: math/cadiback

Category: math

Size: 60.1KiB

License: MIT

Maintainer: yuri@FreeBSD.org

Dependencies: 1 packages

Required by: 0 packages

Website: github.com/arminbiere/cadiback

$pkg install cadiback

Dependencies (1)

cadical

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