• GAP

  • Referenced in 3154 articles [sw00320]
  • including source, is distributed freely. You can study and easily modify or extend...
  • OpenMx

  • Referenced in 40 articles [sw08538]
  • OpenMx: an open source extended structural equation modeling framework. OpenMx is free, full-featured, open...
  • GRASP92

  • Referenced in 22 articles [sw00380]
  • point sources or as spherically-symmetric extended sources; in the latter case the radial variation...
  • Jason

  • Referenced in 65 articles [sw06187]
  • Jason. Jason is an Open Source interpreter for an extended version of AgentSpeak -- a logic...
  • Rodin

  • Referenced in 86 articles [sw07083]
  • open source, contributes to the Eclipse framework and is further extendable with plugins...
  • Open-WBO

  • Referenced in 28 articles [sw10045]
  • open-source solver that can be easily modified and extended. Most MaxSAT solvers ... available in open-source, making it hard to extend and improve current MaxSAT algorithms. Second...
  • Daikon

  • Referenced in 44 articles [sw04319]
  • sorted), and many more. Users can extend Daikon to check for additional invariants. Dynamic invariant ... record-structured data sources; it is easy to extend Daikon to other applications. Invariants...
  • TRANSFAC

  • Referenced in 74 articles [sw17201]
  • have been extended and are increasingly integrated with the TRANSFAC data sources...
  • OpenFOAM

  • Referenced in 543 articles [sw04317]
  • Manipulation) CFD Toolbox is a free, open source CFD software package produced by OpenCFD ... offers users complete freedom to customise and extend its existing functionality, either by themselves...
  • QEPCAD

  • Referenced in 283 articles [sw00752]
  • spanned several decades ... and continues still! I extended and improved QEPCAD for several years. Improvements ... extra commands. Moreover, there was no cannonical source for QEPCAD distribution or documentation...
  • OGDF

  • Referenced in 33 articles [sw04102]
  • lack of publicly available source-code restricted the portability and extendability, not to mention ... Linux, MacOS, and Windows operating systems. Open source code available under the terms...
  • clasp

  • Referenced in 103 articles [sw07095]
  • Potassco project hosted at SourceForge. Source code and pre-compiled binaries are available ... clasp is an answer set solver for (extended) normal logic programs. It combines the high...
  • Pyomo

  • Referenced in 65 articles [sw04910]
  • source software package for formulating and solving large-scale optimization problems. The software extends ... discussion of how to load data from sources like spreadsheets and databases. The final chapters...
  • Jinja Threads

  • Referenced in 9 articles [sw28538]
  • Jinja with threads: We extend the Jinja source code semantics by Klein and Nipkow with ... Equally, the compiler from source to byte code is extended, for which we prove weak...
  • JuMP

  • Referenced in 123 articles [sw16108]
  • Mathematical Optimization. JuMP is an open-source modeling language that allows users to express ... implementation, and discuss how JuMP can be extended to new problem classes and composed with...
  • nuXmv

  • Referenced in 28 articles [sw18526]
  • nuXmv open source model checker. It builds on and extends nuXmv along two main directions...
  • VTK

  • Referenced in 115 articles [sw10593]
  • Visualization Toolkit (VTK) is an open-source, freely available software system for 3D computer graphics ... Kitware, whose team created and continues to extend the toolkit, offers professional support and consulting...
  • ROCK

  • Referenced in 72 articles [sw37720]
  • distances when merging clusters. Our methods naturally extend to non-metric similarity measures that ... domain expert/similarity table is the only source of knowledge. In addition to presenting detailed complexity...
  • copula

  • Referenced in 145 articles [sw07944]
  • applied in many fields. A good open-source implementation of copulas is much needed ... package, the package can be easily extended by user-defined copulas and margins to solve...
  • Couenne

  • Referenced in 68 articles [sw04347]
  • bounds tightening (BT) and branching strategies. We extend a branching technique originally developed for MILP ... case. Motivated by the demand for open-source solvers for real-world MINLP problems...