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 Thu Feb 13 21:09:18 UTC 2020
Distributions
Downloads 27 total (27 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](https://img.shields.io/hackage/v/finito.svg?logo=haskell&label=finito)](https://hackage.haskell.org/package/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](https://github.com/typedbyte/propeller) and [numeric-domains](https://github.com/typedbyte/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](https://hackage.haskell.org/package/finito) is quite compact and covers all the provided types and functions.