NordConsNet: Products Developed for / with Constraint Programming in the Nordic European Countries
- Gecode -- Generic Constraint Development Environment
, an open-source constraint solver, with a C++ interface; at KTH
- JaCoP, the Java Constraint Programming solver, at LU
- SICStus Prolog with constraint solvers for finite domains, booleans, reals/rationals, and constraint handling rules; at SICS
- Automatic frequency planning tool for Ericsson; at SICS
- CrewGroups
for airlines; at Carmen Consulting (now Jeppesen Systems)
- Dispensation order generation tool for Pyrosequencing AB (now Biotage); by SICS
- LapsCare for the daily planning and administration of home-care-services companies; by Optimal Solutions
- Mozart Programming System with support for declarative programming, object-oriented programming, constraint programming, and concurrency; at SICS, Universität des Saarlandes (Germany), and Université catholique de Louvain (Belgium)