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

nl

A utility for numbering lines, either from a file, or from stdin. More information: <https://www.gnu.org/software/coreutils/nl>.

chromium

Open-source web browser principally developed and maintained by Google. More information: <https://www.chromium.org/developers/how-tos/run-chromium-with-flags/>.

fdisk

A program for managing partition tables and partitions on a hard disk. See also: partprobe. More information: <https://manned.org/fdisk>.

m4

Macro processor. More information: <https://www.gnu.org/software/m4>.

ipv6calc

small utility for manipulating IPv6 addresses

poedit

gettext catalog editor

prelude-correlator-2.7

received by Prelude Manager

metastore

Store and restore metadata from a filesystem

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

x