minion - Fast, Scalable Constraint Solving

Property Value
Distribution ALT Linux Sisyphus
Repository Autoimports x86_64
Package filename minion-1.6.1-alt1_23.x86_64.rpm
Package name minion
Package version 1.6.1
Package release alt1_23
Package architecture x86_64
Package type rpm
Category Development/Other
Homepage -
License -
Maintainer -
Download size 55.40 MB
Installed size 55.40 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.


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


Name Value
/lib64/ - - - - - - - - - - - - - - - - - -
rpmlib(PayloadIsLzma) -
rpmlib(SetVersions) -
rtld(GNU_HASH) -
rtld(GNU_UNIQUE) -


Name Value
minion = 1.6.1-alt1_23


Type URL
Binary Package minion-1.6.1-alt1_23.x86_64.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] x86_64 autoimports
    rpm [Sisyphus] noarch autoimports
  2. Update the package index:
    # sudo apt-get update
  3. Install minion rpm package:
    # sudo apt-get install minion



See Also

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