Constraint Solving by Martine Ceberio

PROLOG-based Constraint Solvers

Millen-Shmatikov Constraint Solver

Protocol-security solver

Boolean Constraint Solver

Cardinal Finite sets constraint solver (Eclipse prolog)

ALE : Attribute Logic Engine

IAsolver : the Brandeis Interval Arithmetic Constraint Solver ( java-enabled web browser to run the applet )

CHIP V5, the Second-Generation Constraint Programming tool

GNU Prolog