
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 ﬂexibility 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 standalone 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 reallife ... 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 ... highlevel modeling capacities of answer set programming (ASP) with stateoftheart techniques ... clasp has been genuinely developed for answer set solving based on conflictdriven nogood learning...

SINGULAR
 Referenced in 1504 articles
[sw00866]
 Furthermore, it provides polynomial factorizations, resultant, characteristic set and gcd computations, syzygy and freeresolution ... interactive shell and a Clike 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 semialgebraic sets using CADs. QEPCAD ... others. It is an interactive commandline 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...