Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
openSUSE:Backports:SLE-15
ghc-presburger
presburger.cabal
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File presburger.cabal of Package ghc-presburger
Name: presburger Version: 1.3.1 x-revision: 1 License: BSD3 License-file: LICENSE Author: Iavor S. Diatchki Homepage: http://github.com/yav/presburger Maintainer: diatchki@galois.com Category: Algorithms Synopsis: A decision procedure for quantifier-free linear arithmetic. Description: The decision procedure is based on the algorithm used in CVC4, which is itself based on the Omega test. Build-type: Simple Cabal-version: >= 1.8 library Build-Depends: base >= 4.4 && < 10, containers, pretty hs-source-dirs: src Exposed-modules: Data.Integer.SAT GHC-options: -O2 -Wall source-repository head type: git location: git://github.com/yav/presburger.git Test-Suite pressburger-qc-tests type: exitcode-stdio-1.0 hs-source-dirs: tests main-is: qc.hs build-depends: base, presburger == 1.3.1, QuickCheck
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor
