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]
Versions [faq] 0.1.0.0
Change log ChangeLog.md
Dependencies base (>=4.7 && <5), numeric-domains (==0.1.*), propeller (==0.1.*), 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 NixOS:0.1.0.0
Downloads 185 total (4 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]

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees


Readme for finito-0.1.0.0

[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 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.