G2Q Allows Constraint Programming, Via Writing Haskell Predicates.

Trang chủ » G2q » G2Q Allows Constraint Programming, Via Writing Haskell Predicates.

Có thể bạn quan tâm

Hackage :: [Package]
  • Search
  • Browse
  • What's new
  • Upload
  • User accounts
g2q: G2Q allows constraint programming, via writing Haskell predicates. [ bsd3, formal-methods, library, symbolic-computation ] [ Propose Tags ] [ Report a vulnerability ]

G2Q allows constraint programming, via writing Haskell predicates. A quasiquoter, g2, is provided which can take concrete arguments at runtime, and solve for unknown symbolic arguments.

[Skip to Readme]

Modules

  • G2Q
    • G2Q.Interface

Downloads

  • g2q-0.1.0.0.tar.gz [browse] (Cabal source package)
  • Package description (as included in the package)

Maintainer's Corner

Package maintainers

  • WilliamHallahan

For package maintainers and hackage trustees

  • edit package information

Candidates

  • 0.1.0.0
Versions [RSS] 0.1.0.0
Change log ChangeLog.md
Dependencies base (>=4.10 && <4.11), g2 (>=0.1.0.1 && <0.1.1.0) [details]
License BSD-3-Clause
Author William Hallahan, Anton Xue
Maintainer [email protected]
Category Formal Methods, Symbolic Computation
Source repo head: git clone https://github.com/BillHallahan/G2Q.git
Uploaded by WilliamHallahan at 2019-06-30T03:12:47Z
Distributions
Downloads 543 total (2 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]All reported builds failed as of 2019-06-30 [all 2 reports]

Readme for g2q-0.1.0.0

[back to package description]

G2Q

About

G2Q allows constraint programming, via writing Haskell predicates. A quasiquoter, g2, is provided which can take concrete arguments at runtime, and solve for unknown symbolic arguments.

For example, to find inputs from a list xs which sum to a given number n, you can write:

sumToN :: Int -> [Int] -> IO (Maybe [Int]) sumToN = [g2| \(n :: Int) (xs :: [Int]) -> ?(ys :: [Int]) | sum ys == n && all (\e -> e `elem` xs) ys && length ys >= 1 |]

Produced by hackage and Cabal 3.12.1.0.

Từ khóa » G2q