Home/math/btor2tools

btor2tools

g20320816

Generic parser and tool package for the BTOR2 format

The Btor2Tools package provides a generic parser and tools for the BTOR2 format. Btor2 is a word-level model checking format for capturing models of hardware and potentially software in a bit-precise manner.

Origin: math/btor2tools

Category: math

Size: 184KiB

License: MIT

Maintainer: yuri@FreeBSD.org

Dependencies: 0 packages

Required by: 1 packages

Website: github.com/Boolector/btor2tools

$pkg install btor2tools

Required By (1 packages)

boolector

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