Arch Linux: cryptominisat installieren

In diesem Beitrag zeige ich euch wie ihr cryptominisat unter Arch Linux installiert.

pacman -Syu cryptominisat

Das war’s auch schon. cryptominisat wurde erfolgreich installiert.