• Python

  • Referenced in 2164 articles [sw14460]
  • small and large scale. Python supports multiple programming paradigms, including object-oriented, imperative and functional...
  • Maple

  • Referenced in 5403 articles [sw00545]
  • interface supports multiple styles of interaction, from Clickable Math™ tools to a sophisticated programming language...
  • Maude

  • Referenced in 700 articles [sw06233]
  • language and system supporting both equational and rewriting logic specification and programming for a wide ... Besides supporting equational specification and programming, Maude also supports rewriting logic computation...
  • CVX

  • Referenced in 855 articles [sw04594]
  • constructing and solving disciplined convex programs (DCPs). CVX supports a number of standard problem types...
  • deal.ii

  • Referenced in 650 articles [sw03516]
  • that this is best done using a program library that takes care of the details ... support for several space dimensions at once is included in a way such that programs...
  • Gurobi

  • Referenced in 727 articles [sw04105]
  • solver (MIQP), and mixed-integer quadratically constrained programming solver (MIQCP). The solvers in the Gurobi ... transparent pricing, and outstanding, easy to reach, support...
  • KLAIM

  • Referenced in 72 articles [sw09424]
  • describe KLAIM, a language that supports a programming paradigm where processes, like data ... operators for building processes. KLAIM naturally supports programming with explicit localities. Localities are first-class...
  • PROGRES

  • Referenced in 70 articles [sw02905]
  • well-defined static type concept. It supports programming with graph rewriting systems. An integrated type...
  • Gecode

  • Referenced in 83 articles [sw06272]
  • easily interfaced to other systems. It supports the programming of new constraints, branching strategies ... search engines. New variable domains can be programmed at the same level of efficiency ... graphical, restarts); automatic symmetry breaking (LDSB); MiniZinc support; and many more. efficient Gecode offers excellent ... users to focus on different modeling and programming tasks with Gecode. free Gecode is distributed...
  • z3

  • Referenced in 606 articles [sw04887]
  • theorem prover being developed at Microsoft Research.Z3 supports linear real and integer arithmetic, fixed-size ... integrated with a number of program analysis, testing, and verification tools from Microsoft Research. These...
  • TAF

  • Referenced in 87 articles [sw07492]
  • source AD-tool for Fortran-95 programs. TAF supports forward and reverse mode...
  • Dafny

  • Referenced in 74 articles [sw00183]
  • correctness of programs.The Dafny programming language is designed to support the static verification of programs ... write sets), and termination metrics. To further support specifications, the language also offers updatable ghost ... errors, the programmer responds by changing the program’s type declarations, specifications, and statements...
  • YALMIP

  • Referenced in 1063 articles [sw04595]
  • mixed integer programming, multi-parametric programming, geometric programming The main features of YALMIP are: Easy ... categorization of problems, and automatic solver selection Supports numerous external solvers, both free and commercial...
  • ELAN

  • Referenced in 108 articles [sw02179]
  • purpose is to support the design of theorem provers, logic programming languages, constraints solvers ... purpose is to support the design of theorem provers, logic programming languages, constraints solvers...
  • CBMC

  • Referenced in 86 articles [sw09719]
  • ANSI-C and C++ programs. It also supports SystemC using Scoot. It allows verifying array ... performed by unwinding the loops in the program and passing the re­sul­ting equation ... aimed for embedded software, it also supports dynamic memory allocation using malloc...
  • ComPAIRS

  • Referenced in 46 articles [sw16191]
  • INPRE and ComPAIRS. These two decision support programs are early implementations of techniques based...
  • COPASI

  • Referenced in 71 articles [sw12253]
  • dynamics. COPASI is a stand-alone program that supports models in the SBML standard...
  • Ada95

  • Referenced in 294 articles [sw01753]
  • programming language, extended from Pascal and other languages. It has built-in language support ... supersede the hundreds of programming languages then used by the DoD. Ada was named after...
  • SifDec

  • Referenced in 220 articles [sw04087]
  • offers support for Fortran 90/95 and a general C/C++ Application Programming Interface. The SIF decoder...
  • COMET

  • Referenced in 80 articles [sw03051]
  • control local search, and a programming language, COMET, that supports both modeling and search abstractions ... spirit of constraint programming. After an overview of local search including neighborhoods, heuristics, and metaheuristics ... describes how constraint-based local search is supported in COMET. The book describes a variety...