The "Contraintes" project-team investigates the design, implementation and logical foundations of constraint programming languages. The main application domains investigated are combinatorial optimization problems and computational systems biology.
Our activity reports are available from the official INRIA Web page of Contraintes.
Contraintes is associated to the Doctorate school Sciences Mathématiques de Paris Centre and to the interdisciplinary Doctorate school Frontières du Vivant of Paris.
News : Internships / stages
Members of Contraintes:François Fages (INRIA senior research scientist, team leader) Grégory
Batt (INRIA research scientist) Nicolas
Beldiceanu (associate, professor EMN Nantes) Elisabetta De Maria (ERCIM post-doctorate fellow)
Steven Gay (PhD student, INRIA) Past members: Guillaume Arnaud Research contracts:
|
|
Software:BIOCHAM is a programming environment for modeling biochemical systems, making simulations and querying the model in temporal logic.CHRat a modular version of Constraint Handling Rules with ask and tell Rules2CP a rule-based modelling language for constraint programming Older stuff: TCLP is a type checker for constraint logic programming. CLPGUI is a graphical user interface for constraint logic programming. GNU
Prolog RH is a version of GNU
Prolog
extended with attributed
variables, coroutines and CLP(R) constraints, developed by Rémy
Haemmerlé. ![]() Public seminar: programmeInternal web page |
Contraintes research topics belong to
the INRIA themes:
theme Programs,
Verification and Proofs domain Algorithmics,
Programming,
Software and Architecture,
and theme
Computational
Biology and Bioinformatics domain Computational
Sciences for
Biology, Medicine and the Environment.
Last modified: 2009/11/08