glucose-4.1_3.txz


Advertisement

Description

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
Homepage http://www.labri.fr/perso/lsimon/glucose/
License MIT
Maintainer yuri@FreeBSD.org
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.
WWW: http://www.labri.fr/perso/lsimon/glucose/

Alternatives

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 - - -

Download

Type URL
Mirror pkg.freebsd.org
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
Advertisement
Advertisement