finito: Constraint Solver for Finite Domains

[ ai, bsd3, library ] [ Propose Tags ]

Please see the README on GitHub at

[Skip to Readme]


[Index] [Quick Jump]


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


Versions [RSS]
Change log
Dependencies base (>=4.7 && <5), numeric-domains (>=0.1 && <0.2), propeller (>=0.1 && <0.2), transformers (>= && <0.6) [details]
License BSD-3-Clause
Copyright 2020 Michael Szvetits
Author Michael Szvetits
Category AI
Home page
Bug tracker
Source repo head: git clone
Uploaded by MichaelSzvetits at 2020-02-13T21:09:18Z
Distributions NixOS:
Downloads 368 total (24 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-

[back to package description]



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.