---
key: para/constraint
kind: paradigm
name: "Constraint"
url: https://plangs.page/paradigm/constraint
---

# Constraint

Users declaratively state the constraints on the feasible solutions for a set of decision variables.

## Facts

- Homepage: https://en.wikipedia.org/wiki/Constraint_programming

## Relationships

### Plangs

- [Ciao](https://plangs.page/ciao)
- [Curry](https://plangs.page/curry)
- [GNU Prolog](https://plangs.page/gprolog)
- [MiniZinc](https://plangs.page/minizinc)
- [Picat](https://plangs.page/picat)
- [SWI-Prolog](https://plangs.page/swi-prolog)