minion-1.6.1-alt1_23.i586.rpm


Advertisement

Description

minion - Fast, Scalable Constraint Solving

Property Value
Distribution ALT Linux Sisyphus
Repository Autoimports i586
Package filename minion-1.6.1-alt1_23.i586.rpm
Package name minion
Package version 1.6.1
Package release alt1_23
Package architecture i586
Package type rpm
Category Development/Other
Homepage -
License -
Maintainer -
Download size 54.59 MB
Installed size 54.59 MB
MINION is a new constraint solver, which is very fast and scales
well as problem size increases. Empirical results on standard
benchmarks show orders of magnitude performance gains over
state-of-the-art constraint toolkits. These gains increase with
problem size --- MINION delivers scalable constraint solving.

Alternatives

Package Version Architecture Repository
minion-1.6.1-alt1_23.x86_64.rpm 1.6.1 x86_64 Autoimports
minion - - -

Requires

Name Value
/lib/ld-linux.so.2 -
libboost_iostreams.so.1.67.0 -
libc.so.6(GLIBC_2.0) -
libc.so.6(GLIBC_2.1.3) -
libc.so.6(GLIBC_2.2) -
libc.so.6(GLIBC_2.3.4) -
libc.so.6(GLIBC_2.4) -
libgcc_s.so.1(GCC_3.0) -
libm.so.6(GLIBC_2.0) -
libstdc++.so.6(CXXABI_1.3) -
libstdc++.so.6(CXXABI_1.3.1) -
libstdc++.so.6(CXXABI_1.3.8) -
libstdc++.so.6(CXXABI_1.3.9) -
libstdc++.so.6(GLIBCXX_3.4) -
libstdc++.so.6(GLIBCXX_3.4.11) -
libstdc++.so.6(GLIBCXX_3.4.15) -
libstdc++.so.6(GLIBCXX_3.4.20) -
libstdc++.so.6(GLIBCXX_3.4.21) -
libstdc++.so.6(GLIBCXX_3.4.9) -
rpmlib(PayloadIsLzma) -
rpmlib(SetVersions) -
rtld(GNU_HASH) -
rtld(GNU_UNIQUE) -

Provides

Name Value
minion = 1.6.1-alt1_23

Download

Type URL
Mirror ftp.altlinux.org
Binary Package minion-1.6.1-alt1_23.i586.rpm
Source Package minion-1.6.1-alt1_23.src.rpm

Install Howto

  1. Add the following line to /etc/apt/sources.list:
    
    rpm [Sisyphus] http://ftp.altlinux.org/pub/distributions/ALTLinux/autoimports/Sisyphus i586 autoimports
    rpm [Sisyphus] http://ftp.altlinux.org/pub/distributions/ALTLinux/autoimports/Sisyphus noarch autoimports
    
  2. Update the package index:
    # sudo apt-get update
  3. Install minion rpm package:
    # sudo apt-get install minion

Files

Path
/usr/bin/minion
/usr/share/doc/minion-1.6.1/LICENSE.txt
/usr/share/doc/minion-1.6.1/Manual.pdf
/usr/share/doc/minion-1.6.1/README

See Also

Package Description
minisign-0.8-alt1_3.i586.rpm A dead simple tool to sign files and verify digital signatures
miniupnpd-2.1-alt1_7.i586.rpm Daemon to offer UPnP-IGD and NAT-PMP support
mipv6-daemon-1.0-alt1_6.i586.rpm Mobile IPv6 (MIPv6) Daemon
mirrordir-0.10.49-alt1_27.i586.rpm Easy to use ftp mirroring package
missfits-2.8.0-alt1_5.i586.rpm FITS file management
mk-livestatus-1.2.4p5-alt1_5.i586.rpm Nagios Event Broker Module
mkbootdisk-1.5.5-alt1_23.i586.rpm Creates a boot floppy disk for booting a system
mkcomposecache-1.2.1-alt1_11.i586.rpm Used for creating global (system-wide) Compose cache files
mktorrent-1.1-alt1_4.i586.rpm Command line utility to create BitTorrent metainfo files
mlmmj-1.3.0-alt1_7.i586.rpm A simple and slim mailing list manager inspired by ezmlm
mlpack-2.2.5-alt3_1.i586.rpm Scalable, fast C++ machine learning library
mlpack-bin-2.2.5-alt3_1.i586.rpm Command-line executables for mlpack (machine learning library)
mlpack-devel-2.2.5-alt3_1.i586.rpm Development headers for mlpack (C++ machine learning library)
mmdb-1.25-alt1_4.i586.rpm Macromolecular coordinate library
mmdb-devel-1.25-alt1_4.i586.rpm Header files and library for developing programs with mmdb
Advertisement
Advertisement