finito: Constraint Solver for Finite Domains
Downloads
- finito-0.1.0.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
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 | 436 total (8 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
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.