| Name : ghc-puresat
| |
| Version : 0.1
| Vendor : obs://build_opensuse_org/devel:languages:haskell
|
| Release : dlh.1.9
| Date : 2024-10-04 23:26:21
|
| Group : Unspecified
| Source RPM : ghc-puresat-0.1-dlh.1.9.src.rpm
|
| Size : 0.75 MB
| |
| Packager : https://www_suse_com/
| |
| 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: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/devel:/languages:/haskell/15.6/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-6hUL7LoK1Ng8cE9ei0nasz-ghc9.8.2.so()(64bit)
libHSpuresat-0.1-9ltqSG2edCuGETqUznZfMM-internal-ghc9.8.2.so()(64bit)
libHSpuresat-0.1-CBuFxUtI4WxB4S5zhnanOK-dimacs-ghc9.8.2.so()(64bit)
Requires :
