HN Showcase
Back to browse
GitHub Repository

Constraint Programming for Clojure

10 starsClojure

Igor – Constraint Programming for Clojure

by danefilipczak·Mar 9, 2026·8 points·1 comment
Visit ProjectView on HN

AI Analysis

●●SolidBig BrainNiche Gem

Shadows Clojure's core operators so constraints look like normal code until you call satisfy.

Strengths
  • •Operator shadowing means (i/+ x y) builds AST nodes for variables, evaluates normally for ground values.
  • •Supports integer arithmetic, set algebra, universal quantification, and graph constraints like paths and circuits.
  • •Solutions return as plain Clojure maps, integrating naturally with existing data pipelines.
Weaknesses
  • •Requires MiniZinc installed separately on PATH, adding deployment complexity for end users.
  • •Clojure niche limits audience; constraint programming itself is already well-served by MiniZinc directly.
Target Audience

Clojure developers working on optimization or scheduling problems

Similar To

MiniZinc · Choco Solver · Google OR-Tools

Similar Projects