| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help |
The search service can find package by either name (apache), provides(webserver), absolute file names (/usr/bin/apache), binaries (gprof) or shared libraries (libXm.so.2) in standard path. It does not support multiple arguments yet...
The System and Arch are optional added filters, for example System could be "redhat", "redhat-7.2", "mandrake" or "gnome", Arch could be "i386" or "src", etc. depending on your system.
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.
| Package | Summary | Distribution | Download |
| ghc-puresat-0.1-1.1.aarch64.html | Pure Haskell SAT-solver | OpenSuSE Ports Tumbleweed for aarch64 | ghc-puresat-0.1-1.1.aarch64.rpm |
| ghc-puresat-0.1-1.1.riscv64.html | Pure Haskell SAT-solver | OpenSuSE Ports Tumbleweed for riscv64 | ghc-puresat-0.1-1.1.riscv64.rpm |
| ghc-puresat-0.1-1.1.s390x.html | Pure Haskell SAT-solver | OpenSuSE Ports Tumbleweed for s390x | ghc-puresat-0.1-1.1.s390x.rpm |
| ghc-puresat-0.1-1.1.x86_64.html | Pure Haskell SAT-solver | OpenSuSE Tumbleweed for x86_64 | ghc-puresat-0.1-1.1.x86_64.rpm |
| ghc-puresat-0.1-lp160.1.1.aarch64.html | Pure Haskell SAT-solver | OpenSuSE Leap 16.0 for aarch64 | ghc-puresat-0.1-lp160.1.1.aarch64.rpm |
| ghc-puresat-0.1-lp160.1.1.ppc64le.html | Pure Haskell SAT-solver | OpenSuSE Leap 16.0 for ppc64le | ghc-puresat-0.1-lp160.1.1.ppc64le.rpm |
| ghc-puresat-0.1-lp160.1.1.x86_64.html | Pure Haskell SAT-solver | OpenSuSE Leap 16.0 for x86_64 | ghc-puresat-0.1-lp160.1.1.x86_64.rpm |
Generated by rpm2html 1.6