• Smodels

  • Referenced in 239 articles [sw04631]
  • Smodels system is an Answer Set Programming (ASP) implementation based on the stable model semantics ... problem as a logic program such that the answer sets (stable models) of the program ... engine to find the answer sets of the program...
  • PETSc

  • Referenced in 1541 articles [sw04012]
  • oriented programming, PETSc provides enormous flexibility for users. PETSc is a sophisticated set of software ... individuals without some computer science background, experience programming in C, C++ or Fortran and experience...
  • METIS

  • Referenced in 467 articles [sw04089]
  • METIS is a set of serial programs for partitioning graphs, partitioning finite element meshes...
  • ScaLAPACK

  • Referenced in 417 articles [sw00830]
  • number of computers, example programs, and the full set of LAPACK Working Notes...
  • Gringo

  • Referenced in 108 articles [sw04630]
  • provides an introduction to the Answer Set Programming (ASP) tools gringo, clasp, clingo, and iclingo ... users into equivalent propositional logic programs. The answer sets of such programs can be computed...
  • clusfind

  • Referenced in 475 articles [sw27805]
  • clusfind: A set of six stand-alone Fortran programs for cluster analysis. The programs ... dissimilarities); Chapter 2: PAM.FOR (partitions the data set into clusters with a new method using...
  • NETLIB LP Test Set

  • Referenced in 136 articles [sw11484]
  • Test Problem Set. The NETLIB Linear Programming test set is a collection of real-life ... linear programming examples from a variety of sources. The examples are available in MPS format ... format used by CUTEr. Thus, the NETLIB set provide a further collection of interesting examples...
  • clasp

  • Referenced in 103 articles [sw07095]
  • clasp is an answer set solver for (extended) normal logic programs. It combines ... high-level modeling capacities of answer set programming (ASP) with state-of-the-art techniques ... clasp has been genuinely developed for answer set solving based on conflict-driven nogood learning...
  • SINGULAR

  • Referenced in 1504 articles [sw00866]
  • Furthermore, it provides polynomial factorizations, resultant, characteristic set and gcd computations, syzygy and free-resolution ... interactive shell and a C-like programming language, SINGULAR’s internal functionality is augmented...
  • Clingo

  • Referenced in 102 articles [sw09893]
  • Solving Collection, bundles tools for Answer Set Programming developed at the University of Potsdam: Clingo...
  • Cmodels

  • Referenced in 71 articles [sw04435]
  • system that computes answer sets for either disjunctive logic programs or logic programs containing choice ... semantics, so that the answer sets for such a program can be enumerated ... equivalent to the answer sets of th! e program. Unfortunetly number of loop formulas might ... needed” for finding answer sets of a program...
  • Potassco

  • Referenced in 80 articles [sw06996]
  • solving collection, bundling tools for answer set programming developed at the University of Potsdam...
  • QEPCAD

  • Referenced in 283 articles [sw00752]
  • QEPCAD B: A program for computing with semi-algebraic sets using CADs. QEPCAD ... others. It is an interactive command-line program written in C/C++, and based...
  • ASSAT

  • Referenced in 175 articles [sw02524]
  • system for computing answer sets of a logic program by using SAT solvers. Briefly speaking ... given a ground logic program P, ASSAT(X), depending on the SAT solver X used ... converts it into a set C of clauses. Repeats Calls...
  • Eiffel

  • Referenced in 289 articles [sw03522]
  • with the Eiffel programming method. Both are based on a set of principles, including design...
  • MeatAxe

  • Referenced in 67 articles [sw04906]
  • Modular Representations. The MeatAxe is a set of programs for working with matrices over finite ... structure etc. Indeed, there is a set of programs (see The Lattice Programs) to compute...
  • Modula

  • Referenced in 197 articles [sw01224]
  • language is a descendant of the Pascal programming language. It was developed in Switzerland ... system, used for grouping sets of related declarations into program units; hence the name Modula...
  • NPSOL

  • Referenced in 147 articles [sw07420]
  • Fortran package for nonlinear programming. NPSOL is a set of Fortran 77 subroutines for minimizing ... problem size. NPSOL uses a sequential quadratic programming (SQP) algorithm, in which each search direction...
  • Linda

  • Referenced in 103 articles [sw09427]
  • that is intended for systems programming in distributed settings generally and on integrated network computers...