finito (hackage): Please see the README on GitHub at https://github.com/typedbyte/finito#readme
Keywords: ai|bsd3|library|constraint|haskell|solver