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