CMT Lab Logo


Constraint-based Methods and Technologies Laboratory


The {log} (read setlog) project aims at the design and development of a Constraint Logic Programming language that embodies the fundamental forms of set designation and a number of primitive operations for set management.


JSetL is a Java library that combines the object-oriented programming paradigm of Java with valuable concepts of CLP languages, such as logical variables, lists (possibly partially specified), unification, constraint solving, nondeterminism.


The FIASCO project aims at providing a fast protein structure analysis by means of constraint programming techniques. The geometric constraints that describe the molecular structure enables a fast sampling of the search space.