path: root/
diff options
authorMichaelSzvetits <>2020-02-13 21:09:00 (GMT)
committerhdiff <>2020-02-13 21:09:00 (GMT)
commitad404d0bbb3036614847bd86946feab498ff64fc (patch)
tree5ec490fd76e84d7c0d034c0038fa2b7bf1ce4781 /
Diffstat (limited to '')
1 files changed, 11 insertions, 0 deletions
diff --git a/ b/
new file mode 100644
index 0000000..995f77e
--- /dev/null
+++ b/
@@ -0,0 +1,11 @@
+<p align="center">
+<img src="./logo.png">
+# 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](./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. \ No newline at end of file