| Name : ghc-puresat
| |
| Version : 0.1
| Vendor : openSUSE
|
| Release : lp160.1.2
| Date : 2024-08-18 18:19:51
|
| Group : Unspecified
| Source RPM : ghc-puresat-0.1-lp160.1.2.src.rpm
|
| Size : 0.76 MB
| |
| Packager : https://bugs_opensuse_org
| |
| Summary : Pure Haskell SAT-solver
|
Description :
SAT Solver implemented in Haskell.
PureSAT uses DPLL with non-chronological backtracking and learning of binaary
clauses. Solver is in no-comparison to the state of the art solvers, but it\'s
fast enough to solve sudoku.
|
RPM found in directory: /vol/rzm3/linux-opensuse/distribution/leap/16.0/repo/oss/x86_64 |
Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server
Provides :
ghc-puresat
ghc-puresat(x86-64)
libHSpuresat-0.1-AC4WykNjrs5ouXOkAtkzI-ghc9.8.3.so()(64bit)
libHSpuresat-0.1-C2dqQMLqNSxEnJqiFNCs7I-dimacs-ghc9.8.3.so()(64bit)
libHSpuresat-0.1-Lmke4VWJ9o7ICzVjqgxM7N-internal-ghc9.8.3.so()(64bit)
Requires :
