Search results
Results from the WOW.Com Content Network
Linux, Windows: Agros2D: Multiplatform open source application for the solution of physical problems based on the Hermes library: University of West Bohemia: 3.2: 2014-03-03: GNU GPL: Free: Linux, Windows: CalculiX: It is an Open Source FEA project. The solver uses a partially compatible ABAQUS file format. The pre/post-processor generates ...
The software runs on Unix and Windows platforms and can be compiled on a large variety of compilers, using the CMake building tool. The solver can also be used in a multi-host parallel mode on platforms that support MPI. Elmer's parallelisation capability is one of the strongest sides of this solver.
CalculiX is a free and open-source finite-element analysis application that uses an input format similar to Abaqus. It has an implicit and explicit solver (CCX) written by Guido Dhondt and a pre- and post-processor (CGX) written by Klaus Wittig. [1] The original software was written for the Linux [2] operating system.
This free software had an earlier incarnation, Macsyma. Developed by Massachusetts Institute of Technology in the 1960s, it was maintained by William Schelter from 1982 to 2001. In 1998, Schelter obtained permission to release Maxima as open-source software under the GNU General Public license and the source code was released later that year.
The SciPy scientific library, for instance, uses HiGHS as its LP solver [13] from release 1.6.0 [14] and the HiGHS MIP solver for discrete optimization from release 1.9.0. [15] As well as offering an interface to HiGHS, the JuMP modelling language for Julia [16] also describes the specific use of HiGHS in its user documentation. [17]
lp_solve is a free software command line utility and library for solving linear programming and mixed integer programming problems. It ships with support for two file formats, MPS and lp_solve's own LP format. [ 1 ]
The solver can be built using Visual Studio, a makefile or using CMake and runs on Windows, FreeBSD, Linux, and macOS. The default input format for Z3 is SMTLIB2. It also has officially supported bindings for several programming languages, including C, C++, Python, .NET, Java, and OCaml. [5]
OR-Tools was created by Laurent Perron in 2011. [5]In 2014, Google's open source linear programming solver, GLOP, was released as part of OR-Tools. [1]The CP-SAT solver [6] bundled with OR-Tools has been consistently winning gold medals in the MiniZinc Challenge, [7] an international constraint programming competition.