https://github.com/typedbyte/finito

A constraint solver for finite domains, written in Haskell.
https://github.com/typedbyte/finito

constraint haskell solver

Last synced: 26 days ago
JSON representation

A constraint solver for finite domains, written in Haskell.

• Host: GitHub
• URL: https://github.com/typedbyte/finito
• Owner: typedbyte
• License: bsd-3-clause
• Created: 2020-02-13T21:03:44.000Z (over 4 years ago)
• Default Branch: master
• Last Pushed: 2021-11-10T14:23:48.000Z (almost 3 years ago)
• Last Synced: 2024-04-24T03:23:09.237Z (7 months ago)
• Topics: constraint, haskell, solver
• Language: Haskell
• Size: 24.4 KB
• Stars: 10
• Watchers: 2
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Changelog: ChangeLog.md
  • License: LICENSE

Awesome Lists containing this project

README

        






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