finito: Constraint Solver for Finite Domains

[ ai, bsd3, library ] [ Propose Tags ]

Please see the README on GitHub at https://github.com/typedbyte/finito#readme


[Skip to Readme]

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 0.1.0.0
Change log ChangeLog.md
Dependencies base (>=4.7 && <5), numeric-domains (>=0.1 && <0.2), propeller (>=0.1 && <0.2), transformers (>=0.5.2.0 && <0.6) [details]
License BSD-3-Clause
Copyright 2020 Michael Szvetits
Author Michael Szvetits
Maintainer typedbyte@qualified.name
Category AI
Home page https://github.com/typedbyte/finito#readme
Bug tracker https://github.com/typedbyte/finito/issues
Source repo head: git clone https://github.com/typedbyte/finito
Uploaded by MichaelSzvetits at 2020-02-13T21:09:18Z
Distributions
Downloads 425 total (6 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2020-02-13 [all 1 reports]

Readme for finito-0.1.0.0

[back to package description]

finito

Hackage

A constraint solver for finite domains, written in Haskell. The implementation is based on propagators and cells holding ranges of possible integer values (using the packages propeller and numeric-domains).

Sudoku and the n-queens problem with configurable board size are provided as examples on how to use the library. In addition, the Hackage documentation is quite compact and covers all the provided types and functions.