• SCIP

  • Referenced in 459 articles [sw01091]
  • MINLP). It is also a framework for constraint integer programming and branch-cut-and-price ... SoPlex, the modelling language ZIMPL, the parallelization framework UG and the generic column generation solver...
  • Nuprl

  • Referenced in 387 articles [sw06751]
  • Nuprl system is a framework for reasoning about mathematics and programming. Over the years...
  • CGAL

  • Referenced in 355 articles [sw00118]
  • matrix search framework and a solver for linear and quadratic programs. It further offers interfaces...
  • ELAN

  • Referenced in 108 articles [sw02179]
  • logic programming languages, constraints solvers and decision procedures and to offer a modular framework ... support the design of theorem provers, logic programming languages, constraints solvers and decision procedures ... modular framework for studying their combination. ELAN takes from functional programming the concept of abstract ... paradigm of rewriting provides both the logical framework in which deduction systems can be expressed...
  • Bonmin

  • Referenced in 185 articles [sw04766]
  • algorithmic framework for convex mixed integer nonlinear programs. This paper is motivated by the fact ... previous work in mixed integer nonlinear programming, this work represents the first step ... results that demonstrate the effectiveness of this framework are reported. Both the library of mixed...
  • OSL

  • Referenced in 106 articles [sw09295]
  • point (barrier) methods for linear programming within the framework of the IBM Optimization Subroutine Library...
  • ABACUS

  • Referenced in 115 articles [sw02948]
  • framework for the implementation of branch-and-bound algorithms using linear programming relaxations. Cutting planes ... plane and column generation within one algorithm framework. Simple reuse of code and the design ... algorithms are met by object oriented programming modules...
  • TOY

  • Referenced in 55 articles [sw09812]
  • CRWL, a wide theoretical framework for declarative programming whose basis is a constructor based rewriting...
  • K Prover

  • Referenced in 41 articles [sw32257]
  • executable semantic framework in which programming languages, calculi, as well as type systems or formal ... sequentializing computational tasks, such as fragments of program; in particular, computations extend the original language ... about. This distinction makes K a suitable framework for defining truly concurrent languages or calculi ... programming language that aims to challenge and expose the limitations of existing semantic frameworks...
  • JavaFAN

  • Referenced in 30 articles [sw01934]
  • JavaFAN. JavaFAN is a Java program analysis framework, that can symbolically execute multithreaded programs, detect...
  • ADVI

  • Referenced in 23 articles [sw34040]
  • Stan (code available now), a probabilistic programming framework. We compare ADVI to MCMC sampling across...
  • GATK

  • Referenced in 14 articles [sw12019]
  • genome analysis toolkit: a MapReduce framework for analyzing next-generation DNA sequencing data. Next-generation ... Genome Analysis Toolkit (GATK), a structured programming framework designed to ease the development of efficient ... next-generation DNA sequencers using the functional programming philosophy of MapReduce. The GATK provides ... calling. We conclude that the GATK programming framework enables developers and analysts to quickly...
  • ANTIGONE

  • Referenced in 83 articles [sw09241]
  • general mixed-integer nonlinear global optimization framework. ANTIGONE is the evolution of the Global Mixed ... quadratically-constrained quadratic program and mixed-integer signomial optimization computational frameworks. To demonstrate the capacity...
  • Simula 67

  • Referenced in 135 articles [sw21333]
  • Simula is considered the first object-oriented programming language. As its name suggests, Simula ... needs of that domain provided the framework for many of the features of object-oriented...
  • FilMINT

  • Referenced in 44 articles [sw06197]
  • solution of a master mixed-integer linear program (MILP) by adding new linearizations at open ... framework for MILP with filterSQP to solve the nonlinear programs that arise as subproblems...
  • UFO

  • Referenced in 20 articles [sw09570]
  • finding bugs in) sequential C programs. The framework is built on top of the LLVM...
  • JStatCom

  • Referenced in 90 articles [sw04873]
  • software framework that makes it easy to integrate numerical procedures written in specialized programming languages...
  • TestEra

  • Referenced in 21 articles [sw07258]
  • TestEra: A novel framework for automated testing of Java programs We present TestEra, a novel ... framework for automated testing of Java programs. TestEra automatically generates all non-isomorphic test cases...
  • Elf

  • Referenced in 43 articles [sw21361]
  • constraint logic programming language based on the LF Logical Framework. It has no connection whatsoever ... specifying, implementing, and proving properties of programming languages and logics. It has been applied ... also a more complete bibliography on logical frameworks in general. Work...
  • ADMB

  • Referenced in 13 articles [sw07416]
  • Differentiation Model Builder (ADMB) is a programming framework based on automatic differentiation, aimed at highly...