finito: Constraint Solver for Finite Domains

[ ai, bsd3, library ] [ Propose Tags ]

Please see the README on GitHub at

[Skip to Readme]
Versions [faq]
Change log
Dependencies base (>=4.7 && <5), numeric-domains (==0.1.*), propeller (==0.1.*), 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 Thu Feb 13 21:09:18 UTC 2020
Downloads 41 total (41 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2020-02-13 [all 1 reports]


[Index] [Quick Jump]


Maintainer's Corner

For package maintainers and hackage trustees

Readme for finito-

[back to package description]
<p align="center"> <img src="./logo.png"> </p> # 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](./examples/sudoku/Main.hs) and the [n-queens problem](./examples/queens/Main.hs) 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.