Search Results for "linear program solver"

...BAP features its own domain-specific language, Primus Lisp, that is used for implementing analyses, specifying verification conditions, modeling functions (writing stubs) and even interfacing with the SMT solver. The toolkit repository includes various examples of program analysis tools that could be implemented with BAP and can be used as the starting point (in addition to the tutorial) for implementing custom analyses. BAP can be used as a framework with a single bap utility that is extended with plugins or it can be used as a library embedded in a user application, which could be written in OCaml.

Triton is a dynamic binary analysis library. It provides internal components that allow you to build your program analysis tools, automate reverse engineering, perform software verification or just emulate code. Linux, Windows and OS X compatible. You can directly compile source code from our Github repository. The Triton library is Linux, Windows and OS X compatible. A potential way to getting started is to see our Python examples already bootstrapped.

...This version does not run on Intel Macs, and is not intended to run under Rosetta (use mainline DOSBox or Dominus' SVN builds instead). Suggested settings are included as a Preferences file. You should copy this to ~/Library/Preferences/DOSBox SVN Preferences before starting the program. All versions are built using Xcode 2.5 with -O3 -fsched-interblock -ftree-loop-linear. The G5 version has additional flags for better performance on the 970. All versions include SDL 1.2.15 and libpng. There is no support for this or any SVN build of DOSBox. These builds are provided strictly as a convenience and you use them at your own risk. ...

JBernstein is a tool implemented in Java that enables to check whether a polynomial constraint holds for all variables within their domain. It is mainly used in the verification or synthesis of cyber-physical systems where the system model is nonlinear. The tool also supports specifications in assume-guarantee style. The underlying algorithm is based on a translation to Bernstein polynomials, and several optimization techniques are implemented to ensure efficiency. Concerning performance,...

Pydusa is a package for parallel programming using Python. It contains a module for doing MPI programming in Python. We have added parallel solver packages such as Parallel SuperLU for solving sparse linear systems.