Giters

adrianmay / clphs

Constraint Logic Programming for Haskell

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

clphs

Constraint solving over finite domains. Inspired by clpfd and David Overton's implementation.

Constraint Programing

About

Constraint Logic Programming for Haskell

License:BSD 3-Clause "New" or "Revised" License

Languages

Language:Haskell 100.0%