https://github.com/totbwf/clphs

Constraint Logic Programming for Haskell
https://github.com/totbwf/clphs

clp constraint-programming constraint-solver

Last synced: 2 months ago
JSON representation

Constraint Logic Programming for Haskell

• Host: GitHub
• URL: https://github.com/totbwf/clphs
• Owner: TOTBWF
• License: bsd-3-clause
• Created: 2018-04-05T09:05:52.000Z (about 7 years ago)
• Default Branch: master
• Last Pushed: 2018-04-22T19:58:32.000Z (about 7 years ago)
• Last Synced: 2025-03-28T14:22:00.447Z (3 months ago)
• Topics: clp, constraint-programming, constraint-solver
• Language: Haskell
• Size: 18.6 KB
• Stars: 3
• Watchers: 2
• Forks: 2
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Changelog: ChangeLog.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# clphs

Constraint solving over finite domains. Inspired by [clpfd](http://www.swi-prolog.org/man/clpfd.html) and David Overton's implementation.

# Constraint Programing