NOTICE: This package has been removed from pkgsrc

./wip/glucose-syrup, Parallel SAT solver

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ]

Branch: CURRENT, Version: 4.0, Package name: glucose-syrup-4.0, Maintainer: pkgsrc-users

Glucose-syrup is a parallel SAT solver
It is based on a new scoring scheme for the clause learning mechanism
of so called "Modern" SAT solvers.


Required to build:
[pkgtools/cwrappers]

Master sites:

SHA1: 322d3db7aef8d152925577d45697f150161399d8
RMD160: f7020dbb995cd58f217a00cc351e2c3cd7f6546c
Filesize: 72.388 KB

Version history: (Expand)