dockerfile.run – cadical

command-not-found.com

Run
API
Facebook Twitter LinkedIn Copy link

cadical

Simplified SAT solver

Fedora

RUN dnf install -y cadical

click the source code to copy install cadical on any operating system with command-not-found.com

API – cadical

montage

Tiles images into a customizable grid. Part of ImageMagick. More information: <https://imagemagick.org/script/montage.php>.

wc

Count lines, words, and bytes. More information: <https://www.gnu.org/software/coreutils/wc>.

strace

Troubleshooting tool for tracing system calls. More information: <https://manned.org/strace>.

csvgrep

Filter CSV rows with string and pattern matching. Included in csvkit. More information: <https://csvkit.readthedocs.io/en/latest/scripts/csvgrep.html>.

nova-2

9.1.1-2.fc28.noarch : Python API and CLI for OpenStack Nova

lat_pipe

Utilities to benchmark UNIX systems

llvm-split-4.0

Modular compiler and toolchain technologies

PythonQwt-tests-py2

Pure Python implementation of Qwt - Python 2

© 2019-2024 Łukasz Lach | czux.dev | About

x

x