constraints topic
ciao
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
pulp
A python Linear Programming API
sketch-constraints
📏 A plugin that integrates constraints in Sketch to lay out layers.
rein
Database constraints made easy for ActiveRecord.
choco-solver
An open-source Java library for Constraint Programming
EasyAnchor
⚓️ Declarative, extensible, powerful Auto Layout
pysmt
pySMT: A library for SMT formulae manipulation and solving
EasySwiftLayout
Lightweight Swift framework for Apple's Auto-Layout
gophersat
gophersat, a SAT solver in Go
dry-struct
Typed struct and value objects