SweConsNet: Products Developed for / with Constraint Programming in Sweden
- CrewGroups
for airlines; at Carmen Consulting (now Jeppesen Systems)
- JaCoP
, the Java Constraint Programming solver, at LU
- LapsCare
(in Swedish
) 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)
- SICStus Prolog
with constraint solvers for finite domains, booleans, reals/rationals, and constraint handling rules; at SICS
x
Search results appear here...