Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: ghc-what4 | Distribution: Fedora Project |
Version: 1.5.1 | Vendor: Fedora Project |
Release: 3.fc41 | Build date: Thu Sep 26 19:49:17 2024 |
Group: Unspecified | Build host: buildhw-x86-16.iad2.fedoraproject.org |
Size: 10922211 | Source RPM: ghc-what4-1.5.1-3.fc41.src.rpm |
Packager: Fedora Project | |
Url: https://hackage.haskell.org/package/what4 | |
Summary: Solver-agnostic symbolic values support for issuing queries |
What4 is a generic library for representing values as symbolic formulae which may contain references to symbolic values, representing unknown variables. It provides support for communicating with a variety of SAT and SMT solvers, including Z3, CVC4, CVC5, Yices, Boolector, STP, and dReal. The data representation types make heavy use of GADT-style type indices to ensure type-correct manipulation of symbolic values.
BSD-3-Clause
* Tue Sep 24 2024 Frank Dedden <frank@systemf.dev> - 1.5.1-3 - Fix missing entry in `sources` and `.gitignore` files. * Mon Aug 19 2024 Frank Dedden <frank@systemf.dev> - 1.5.1-1 - spec file generated by cabal-rpm-2.2.1
/usr/lib64/ghc-9.6.6/lib/libHSwhat4-1.5.1-1yqxCkdqCTABIoRcsgiohr-ghc9.6.6.so /usr/share/licenses/ghc-what4 /usr/share/licenses/ghc-what4/LICENSE /usr/share/what4-1.5.1 /usr/share/what4-1.5.1/solverBounds.config
Generated by rpm2html 1.8.1
Fabrice Bellet, Sun Oct 27 02:54:38 2024