clingo

5.7.1

Grounder and solver for logic programs

Answer Set Programming (ASP) offers a simple and powerful modeling language to solve combinatorial problems. With these tools users can concentrate on an actual problem, rather than a smart way of implementing it.

Origin: math/clingo

Category: math

Size: 5.50MiB

License: MIT

Maintainer: yuri@FreeBSD.org

Dependencies: 0 packages

Required by: 1 packages

Website: potassco.org/clingo

$pkg install clingo

Required By (1 packages)

clingcon

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