Constraint Programming - Constraint Programming Libraries For Imperative Programming Languages

Constraint Programming Libraries For Imperative Programming Languages

Constraint programming is often realized in imperative programming via a separate library. Some popular libraries for constraint programming are:

  • Artelys Kalis (C++ library, Xpress-Mosel module, proprietary)
  • CHIP V5 C++ and C libraries (proprietary)
  • Choco (Java library, free software: X11 style)
  • Comet (C style language for constraint programming, constraint-based local search and mathematical programming, free binaries available for academic use)
  • Cream (Java library, free software: LGPL)
  • Disolver (C++ library, proprietary)
  • Emma (Python library, proprietary)
  • Gecode (C++ library, free software: X11 style)
  • Google CP Solver (Python, Java, C++ and .NET library, Apache license)
  • IBM ILOG CP (C++ library, proprietary) and CP Optimizer (C++, Java, .NET libraries, proprietary) successor of ILOG Solver, which was considered the market leader in commercial constraint programming software as of 2006
  • JaCoP (Java library, open source) available here
  • JOpt (Java library, free software)
  • JSR-331 (Java Constraint Programming API, JCP standard)
  • Koalog Constraint Solver (Java library, proprietary)
  • Minion (C++ program, GPL)
  • python-constraint (Python library, GPL)
  • Turtle++ (C++ library - inspired by the Turtle Language, free software)
  • Scampi (Scala library, LGPL)
  • Turtle (free software: GPL)

Read more about this topic:  Constraint Programming

Famous quotes containing the words constraint, programming, libraries, imperative and/or languages:

    In America a woman loses her independence for ever in the bonds of matrimony. While there is less constraint on girls there than anywhere else, a wife submits to stricter obligations. For the former, her father’s house is a home of freedom and pleasure; for the latter, her husband’s is almost a cloister.
    Alexis de Tocqueville (1805–1859)

    If there is a price to pay for the privilege of spending the early years of child rearing in the driver’s seat, it is our reluctance, our inability, to tolerate being demoted to the backseat. Spurred by our success in programming our children during the preschool years, we may find it difficult to forgo in later states the level of control that once afforded us so much satisfaction.
    Melinda M. Marshall (20th century)

    To me, nothing can be more important than giving children books, It’s better to be giving books to children than drug treatment to them when they’re 15 years old. Did it ever occur to anyone that if you put nice libraries in public schools you wouldn’t have to put them in prisons?
    Fran Lebowitz (20th century)

    Because humans are not alone in exhibiting such behavior—bees stockpile royal jelly, birds feather their nests, mice shred paper—it’s possible that a pregnant woman who scrubs her house from floor to ceiling [just before her baby is born] is responding to a biological imperative . . . . Of course there are those who believe that . . . the burst of energy that propels a pregnant woman to clean her house is a perfectly natural response to their mother’s impending visit.
    Mary Arrigo (20th century)

    People in places many of us never heard of, whose names we can’t pronounce or even spell, are speaking up for themselves. They speak in languages we once classified as “exotic” but whose mastery is now essential for our diplomats and businessmen. But what they say is very much the same the world over. They want a decent standard of living. They want human dignity and a voice in their own futures. They want their children to grow up strong and healthy and free.
    Hubert H. Humphrey (1911–1978)