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.


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


Name Value
/lib/ - - - - - - - - - - - - - - - - - - -
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.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] i586 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.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