• YALMIP

  • Referenced in 971 articles [sw04595]
  • mixed integer programming, multi-parametric programming, geometric programming The main features of YALMIP are: Easy ... started. Easy to use : you define your constraints and objective functions using intuitive and standard...
  • METIS

  • Referenced in 452 articles [sw04089]
  • METIS is a set of serial programs for partitioning graphs, partitioning finite element meshes ... recursive-bisection, multilevel k-way, and multi-constraint partitioning schemes developed...
  • CHIP

  • Referenced in 80 articles [sw03450]
  • cutting-stock problem with the constraint logic programming language CHIP...
  • SNOPT

  • Referenced in 528 articles [sw02300]
  • large-scale constrained optimization. Sequential quadratic programming (SQP) methods have proved highly effective for solving ... smooth nonlinear functions in the objective and constraints. Here we consider problems with general inequality...
  • OPL

  • Referenced in 33 articles [sw21239]
  • modeling language for mathematical programming and combinatorial optimization. It is the first language to combine ... from mathematical modeling languages with a rich constraint language and the ability to specify search ... strategies that are the essence of constraint programming. This paper describes the facilities available ... implement traditional search procedures in constraint programming and scheduling...
  • PARPAP

  • Referenced in 32 articles [sw30926]
  • respect a variety of hard and soft constraints, and preferences. Additionally, home health care problems ... optimization kernel, a combination of linear programming, constraint programming, and (meta-)heuristics for the home ... adapt to various changes in the constraint structure, thus providing the flexibility needed...
  • Gecode

  • Referenced in 64 articles [sw06272]
  • based systems and applications. Gecode provides a constraint solver with state-of-the-art performance ... open. Gecode is radically open for programming: it can be easily interfaced ... other systems. It supports the programming of new constraints, branching strategies, and search engines ... variable domains can be programmed at the same level of efficiency as the variables that...
  • NPSOL

  • Referenced in 147 articles [sw07420]
  • NPSOL 5.0: Fortran package for nonlinear programming. NPSOL is a set of Fortran 77 subroutines ... minimizing a smooth function subject to constraints, which may include simple bounds on the variables ... provides subroutines to define the objective and constraints functions and (optionally) their first derivatives. NPSOL ... problem size. NPSOL uses a sequential quadratic programming (SQP) algorithm, in which each search direction...
  • MacMPEC

  • Referenced in 80 articles [sw06973]
  • contains a collection of Mathematical Programs with Equilibrium Constraints (MPEC) test problems in AMPL...
  • KNITRO

  • Referenced in 184 articles [sw00490]
  • problems with complementarity constraints (MPCCs or MPECs), and mixed-integer programming (MIPs), particular convex mixed...
  • SALSA

  • Referenced in 30 articles [sw02661]
  • Constraint Programming is recognized as an efficient technique for solving hard combinatorial optimization problems. However ... local search, yielding hybrid algorithms with constraints. Such combinations lack a language supporting an elegant ... retaining the original declarativity of Constraint Logic Programming. We propose a language, SALSA, dedicated...
  • RSOLVER

  • Referenced in 71 articles [sw04334]
  • RSolver is a program for solving quantified inequality constraints. Problems like projecting the solution...
  • CC-Pi

  • Referenced in 29 articles [sw15033]
  • Constraint-Based Language for Specifying Service Level Agreements. Service Level Agreements are a key issue ... requirements. Our language combines two basic programming ... paradigms: name-passing calculi and concurrent constraint programming (cc programming). Specifically, we extend cc programming ... mechanism of constraint combination. We give reduction-preserving translations of both cc programming...
  • NLPQL

  • Referenced in 130 articles [sw08457]
  • quadratic programming method for solving nonlinearly constrained optimization problems with differentiable objective and constraint functions...
  • LSSPER

  • Referenced in 29 articles [sw02485]
  • exact solution approach (using either constraint programming techniques or mathematical programming techniques). Hence, the method...
  • Mozart

  • Referenced in 20 articles [sw04759]
  • decade of research in programming language design and implementation, constraint-based inference, distributed computing ... which supports declarative programming, object-oriented programming, constraint programming, and concurrency as part...
  • Clingcon

  • Referenced in 34 articles [sw09892]
  • answer set solver for (extended) constraint normal logic programs. It combines the high-level modeling ... capacities of Answer Set Programming (ASP) with constraint solving. Constraints over non-linear finite integers...
  • QUICKXPLAIN

  • Referenced in 28 articles [sw28625]
  • explanation facility of a principal industrial constraint programming tool, which is, for example, used...
  • ARMC

  • Referenced in 27 articles [sw04949]
  • constraint-based programming language may lead to an elegant and concise implementation of a practical ... Using a Prolog system together with Constraint Logic Programming extensions as the implementation platform...
  • Elf

  • Referenced in 43 articles [sw21361]
  • Meta-Language. Elf is a constraint logic programming language based on the LF Logical Framework...