Hacker GitHub

← All repos

triska/clpz

View on GitHub ↗ ★ 215 Prolog

Constraint Logic Programming over Integers

4 mentions on Hacker News by 4 people: 0 stories, 4 comments · first 2020-02-05 · latest 2024-11-07

Mentions per year 4 mentions · busiest year 2020 (1)
20082026
AllStoriesComments NewestTopOldest
  1. …lets you use bidirectional logical programming on standard integers with standard math operations. https://github.com/triska/clpz
    comment by lmkg · 2024-11-07 · in I'm not mutable, I'm partially instantiated
  2. …to the Zebra Puzzle here: https://www.metalevel.at/prolog/puzzles which uses CLPZ[^1]. [^1]: https://github.com/triska/clpz
    comment by grose · 2023-06-01 · in Logic programming is overrated, at least for logic puzzles (2013)
  3. …https://www.metalevel.at/prolog/optimization . In particular the CLPZ library is very powerful: https://github.com/triska/clpz .
    comment by sits · 2022-04-21 · in Ask HN: Do you use an optimization solver? Which one? Do you like it?
  4. …constraints (the sum of a, b, c, and d must be e; e=10.,b>2.)? For prolog, there's apparently https://github.com/triska/clpz/ But I really just want some simple constraints-oriented form validation (you have 100 points, please feel free to…
    comment by e12e · 2020-02-05 · in Learn X in Y minutes Where X=Prolog