glueminisat - Boolean SAT solver that implements literal blocks distance (LBD)

Property Value
Distribution ALT Linux Sisyphus
Repository Autoimports i586
Package filename glueminisat-2.2.8-alt1_7.i586.rpm
Package name glueminisat
Package version 2.2.8
Package release alt1_7
Package architecture i586
Package type rpm
Category Engineering
Homepage -
License -
Maintainer -
Download size 282.02 KB
Installed size 282.02 KB
GlueMiniSat is a boolean, propositional satisfiability (SAT) problem
solver. It is a derivative work of the open source MiniSat 2.2 solver,
and implements a form of the literal blocks distance (LBD) evaluation
criteria to predict the quality of clauses learned when conflicts are
encountered in the search process.
The underlying concepts of literal blocks distance were first introduced
in the paper "Predicting learnt clauses quality in modern SAT solvers"
by Gilles Audemard and Laurent Simon, Proceedings of IJCAI-2009, pages
399-404, 2009. The authors' implementation of LBD, the Glucose 1.0 SAT
solver, performed admirably by placing 2-nd at the International 2009
SAT competition in the Applications (UNSAT) category.
GlueMiniSat uses a slightly restricted concept of LBD, called strict
LBD, and a dynamic restart strategy based on local averages of the
decision levels and the LBDs of learned clauses. Experimental results
show that GlueMiniSat also performs very well on SAT instances that
are unsatisfiable.  GlueMiniSat earned 1-st place at the International
2011 SAT competition in the Applications (UNSAT) category, solving 126
of 142 problem instances.
GlueMiniSat supports the same command line options as MiniSat 2.2 (see the
documentation from the minisat2 package). It can also run as a "clone"
of the MiniSat 2.2 or Glucose 1.0 SAT solvers by specifying the command
line options -minisat or -glucose, respectively.


Package Version Architecture Repository
glueminisat-2.2.8-alt1_7.x86_64.rpm 2.2.8 x86_64 Autoimports
glueminisat - - -


Name Value
/etc/alternatives/packages.d -
/lib/ - - - - - - - - - - - - -
rpmlib(PayloadIsLzma) -
rpmlib(SetVersions) -
rtld(GNU_HASH) -


Name Value
/usr/bin/glueminisat = 40
glueminisat = 2.2.8-alt1_7


Type URL
Binary Package glueminisat-2.2.8-alt1_7.i586.rpm
Source Package glueminisat-2.2.8-alt1_7.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 glueminisat rpm package:
    # sudo apt-get install glueminisat



See Also

Package Description
gmpc-11.8.16-alt1_21.i586.rpm GNOME frontend for the MPD
gmpc-devel-11.8.16-alt1_21.i586.rpm Development files for gmpc
gmpc-discogs-0.20.0-alt1_9.i586.rpm Artist and Album image fetcher
gmpc-extraplaylist-0.20.0-alt1_11.i586.rpm An extra playlist plugin for gmpc
gmpc-lastfm-0.20.0-alt1_11.i586.rpm A Last.FM artist art provider plugin for gmpc
gmpc-mserver-0.20.0-alt2_11.i586.rpm A microhttpd server plugin for gmpc
gmpc-shout-0.20.0-alt1_11.i586.rpm A shout plugin for gmpc
gmqcc-0.3.5-alt1_18.i586.rpm Improved Quake C Compiler
gmqpak-0.3.5-alt1_18.i586.rpm Standalone Quake PAK file utility
gnaughty-1.2.5-alt1_4.i586.rpm Downloader for adult content
gngt-1.1.2-alt1_6.i586.rpm German Noun Gender Trainer is a tool for German lerners
gnomad2-2.9.6-alt1_19.i586.rpm A GNOME 2.0 client for the Creative Jukeboxes and Dell DJs
gnome-desktop-sharp-2.26.0-alt1_19.i586.rpm C# language bindings for GNOME desktop
gnome-desktop-sharp-devel-2.26.0-alt1_19.i586.rpm C# language binding for the GNOME desktop - devel files
gnome-encfs-manager-1.8.18-alt1_2.i586.rpm An easy to use manager and mounter for encfs stashes