glucose - Parallel SAT solver based on Minisat, with glue clauses

Property Value
Distribution FreeBSD 11
Repository FreeBSD Ports Latest amd64
Package filename glucose-4.1_3.txz
Package name glucose
Package version 4.1
Package release 3
Package architecture amd64
Package type txz
Category math
License MIT
Download size 76.79 KB
Installed size 302.73 KB
Glucose is based on the MiniSat solver, and extends it by preserving
the so-called "glue clauses" and using new scoring scheme.
Glucose is a SAT solver based on a particular scoring scheme for the clause
learning mechanism, based on the paper Laurent Simon and Gilles Audemard
presented at IJCAI'09. Solver's name is a contraction of the concept of
"glue clauses", a particular kind of clauses that glucose detects and preserves
during search.
Glucose accepts SAT problems in the DIMACS format.


Package Version Architecture Repository
glucose-4.1_3.txz 4.1 i386 FreeBSD Ports Latest
glucose-4.1_3.txz 4.1 i386 FreeBSD Ports Quarterly
glucose-4.1_3.txz 4.1 amd64 FreeBSD Ports Quarterly
glucose - - -


Type URL
Binary Package glucose-4.1_3.txz
Source Package math/glucose

Install Howto

Install glucose txz package:

# pkg install glucose

See Also

Package Description
glui-2.36_5.txz GLUT-based C++ user interface library
glurp-0.12.3_4.txz Nice and clean GTK+-2.x based graphical client for musicpd
glusterfs-3.11.1_6.txz GlusterFS distributed file system
gmake-4.2.1_3.txz GNU version of 'make' utility
gmanedit-0.4.2_7.txz GNOME manpages editor
gmap-2015.09.21.txz Genomic Mapping and Alignment Program for mRNA and EST Sequences
gmastermind-0.6_7.txz Well-known mastermind game
gmerlin-1.2.0_16.txz Multimedia framework
gmetadom-0.2.6_5.txz Collection of DOM Implementations
gmic-2.7.4.txz Framework for image processing
gmic-qt-2.3.6_3,1.txz Versatile Qt front-end to GMIC
gmime2-2.2.27_2.txz Library (written in C) for parsing and creating messages using MIME
gmime24-2.4.33_3.txz Library (written in C) for parsing and creating messages using MIME
gmime24-sharp-2.4.33_5.txz Mono bindings for gmime
gmime26-2.6.23_1.txz Library (written in C) for parsing and creating messages using MIME