constraints topic

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

ciao-lang

A python Linear Programming API

coin-or

📏 A plugin that integrates constraints in Sketch to lay out layers.

marcbouchenoire

Database constraints made easy for ActiveRecord.

nullobject

An open-source Java library for Constraint Programming

chocoteam

⚓️ Declarative, extensible, powerful Auto Layout

onmyway133

pySMT: A library for SMT formulae manipulation and solving

pysmt

Lightweight Swift framework for Apple's Auto-Layout

Pimine

gophersat, a SAT solver in Go

crillab

Typed struct and value objects

dry-rb