💡 Words with a Similar Meaning to "Gnu linear programming kit"
Found via reverse dictionary — words that share a conceptual meaning.
| Word | Definition |
|---|---|
| lindonoun | A surname. |
| mosek | a software package for the solution of linear, mixed-integer linear, quadratic, mixed-integer quadratic, quadratically constrained, conic and convex nonlinear mathematical optimization problems. |
| ampl | (A Mathematical Programming Language) an algebraic modeling language to describe and solve high-complexity problems for large-scale mathematical computing (e.g. large-scale optimization and scheduling-type problems). |
| ipopt | IPOPT, short for "Interior Point OPTimizer, pronounced I-P-Opt", is a software library for large scale nonlinear optimization of continuous systems. |
| gnu libtool | a software development tool, part of the GNU build system, consisting of a shell script created to address the software portability problem when compiling shared libraries from source code. |
| gnu binutils | The GNU Binary Utilities, or , is a collection of programming tools maintained by the GNU Project for working with executable code including assembly, linking and many other development operations. |
| constraint programming | a paradigm for solving combinatorial problems that draws on a wide range of techniques from artificial intelligence, computer science, and operations research. |
| minpack | a library of FORTRAN subroutines for the solving of systems of nonlinear equations, or the least-squares minimization of the residual of a set of linear or nonlinear equations. |
| fico xpress | The FICO Xpress optimizer is a commercial optimization solver for linear programming, mixed integer linear programming, convex quadratic programming, convex quadratically constrained quadratic programming, second-order cone programming and their mixed integer counterparts. |
| sat solver | In computer science and formal methods, a SAT solver is a computer program which aims to solve the Boolean satisfiability problem. |
| mumpsnoun | (pathology) A contagious disease caused by the Mumps virus of the genus Rubulavirus, mostly occurring in childhood, which causes swelling of glands in the face and neck. |
| solvernoun | One who or that which solves. |
| basic linear algebra subprograms | a specification that prescribes a set of low-level routines for performing common linear algebra operations such as vector addition, scalar multiplication, dot products, linear combinations, and matrix multiplication. |
| openblas | an open-source implementation of the BLAS (Basic Linear Algebra Subprograms) and LAPACK APIs with many hand-crafted optimizations for specific processor types. |
| programming tool | A programming tool or software development tool is a computer program that is used to develop another program. |
| acl2 | (A Computational Logic for Applicative Common Lisp) a software system consisting of a programming language, an extensible theory in a first-order logic, and an automated theorem prover. |
| integrated development environment | An integrated development environment is a software application that provides comprehensive facilities for software development. |
| llvmnoun | (programming) Initialism of Low Level Virtual Machine, a collection of modular and reusable compiler and toolchain technologies that are used to develop compiler front ends and back ends. |
| project euler | (named after Leonhard Euler) a website dedicated to a series of computational problems intended to be solved with computer programs. |
| gnu parallel | a command-line utility for Linux and other Unix-like operating systems which allows the user to execute shell scripts or commands in parallel. |
Translate “Gnu linear programming kit” into Another Language
Pick a language — the word will be pre-filled in the translator.