A structural modelling language based on first-order logic, for expressing complex structural constraints and behaviour.
Download NowTag: constraint solver
MINION
A fast, sturdy and dependable Command Prompt application that helps you solve general-purpose constraints based
Download Now