cryptominisat5-5.6.8-2-x86_64.pkg.tar.xz


Advertisement

Description

cryptominisat5 - A modern, multi-threaded, feature-rich, simplifying SAT solver

Property Value
Distribution Arch Linux
Repository Arch Linux Community x86_64
Package filename cryptominisat5-5.6.8-2-x86_64.pkg.tar.xz
Package name cryptominisat5
Package version 5.6.8
Package release 2
Package architecture x86_64
Package type xz
Homepage https://github.com/msoos/cryptominisat/
License MIT
Maintainer Kyle Keen <keenerd@gmail.com>
Download size 460.84 KB
Installed size 1.44 MB

Alternatives

Package Version Architecture Repository
cryptominisat5 - - -

Requires

Name Value
boost-libs -
gcc-libs -
intel-tbb -
zlib -

Download

Type URL
Mirror ftp5.gwdg.de
Binary Package cryptominisat5-5.6.8-2-x86_64.pkg.tar.xz
Source Package cryptominisat5

Install Howto

  1. Enable the community repository on /etc/pacman.conf:
    
    [community]
    Include = /etc/pacman.d/mirrorlist
    
  2. Install cryptominisat5 xz package:
    # pacman -Sy cryptominisat5

Files

Path
/usr/
/usr/bin/cryptominisat5
/usr/bin/cryptominisat5_simple
/usr/include/
/usr/include/cryptominisat5/cryptominisat.h
/usr/include/cryptominisat5/cryptominisat_c.h
/usr/include/cryptominisat5/dimacsparser.h
/usr/include/cryptominisat5/solvertypesmini.h
/usr/include/cryptominisat5/streambuffer.h
/usr/lib/libcryptominisat5.so
/usr/lib/libcryptominisat5.so.5.6
/usr/lib/cmake/
/usr/lib/cmake/cryptominisat5/cryptominisat5Config.cmake
/usr/lib/cmake/cryptominisat5/cryptominisat5Targets-relwithdebinfo.cmake
/usr/lib/cmake/cryptominisat5/cryptominisat5Targets.cmake
/usr/lib/python2.7/
/usr/lib/python2.7/site-packages/pycryptosat-0.2.0-py2.7.egg-info
/usr/lib/python2.7/site-packages/pycryptosat.so
/usr/lib/python3.7/
/usr/lib/python3.7/site-packages/pycryptosat-0.2.0-py3.7.egg-info
/usr/lib/python3.7/site-packages/pycryptosat.cpython-37m-x86_64-linux-gnu.so
/usr/share/
/usr/share/licenses/
/usr/share/licenses/cryptominisat5/LICENSE
/usr/share/man/
/usr/share/man/man1/cryptominisat5.1.gz
/usr/share/man/man1/cryptominisat5_simple.1.gz

See Also

Package Description
crystal-0.28.0-1-x86_64.pkg.tar.xz The Crystal Programming Language
csfml-2.5-2-x86_64.pkg.tar.xz C bindings for sfml
csound-6.12.2-7-x86_64.pkg.tar.xz A programming language for sound rendering and signal processing
csound-doc-6.12.2-7-x86_64.pkg.tar.xz A programming language for sound rendering and signal processing
csoundqt-0.9.5-7-x86_64.pkg.tar.xz Csound frontend with highlighting editor, autocomplete, interactive widgets and integrated help
ctemplate-2.3-5-x86_64.pkg.tar.xz A library implementing a simple but powerful template language for C++
ctpl-0.3.4-3-x86_64.pkg.tar.xz Template engine library written in C
cuda-10.1.168-1-x86_64.pkg.tar.xz NVIDIA's GPU programming toolkit
cudnn-7.5.1.10-1-x86_64.pkg.tar.xz NVIDIA CUDA Deep Neural Network library
cuetools-1.4.1-3-x86_64.pkg.tar.xz Cue and toc file parsers and utilities
cuneiform-1.1.0-19-x86_64.pkg.tar.xz Linux port of an OCR system developed in Russia. Supports more than 20 languages
cunit-2.1.3-2-x86_64.pkg.tar.xz A Unit Testing Framework for C
cura-4.0.0-1-any.pkg.tar.xz A software solution for 3D printing aimed at RepRaps and the Ultimaker
cura-binary-data-4.0.0-1-any.pkg.tar.xz Binary data (firmwares and such) for cura
cura-resources-materials-4.0.0-1-any.pkg.tar.xz Missing materials resources for Cura
Advertisement
Advertisement