Montall Smt
Lumel Product Configurator v.1.2.5.9
This software that allows you to configure other Lumel products.All you have to is chose the device you want to configure, select the parameters you want to use and you're set to go.
SMT: SAR Management Toolkit v.1.0
Experimental application for assisting in the management of land searches for missing persons.
Z3-2.12 v.2 1
Z3 is an SMT solver that combines several theory solvers into a combined framework. It can be used to prove theorems and find counter-examples for non-theorems. Philippe Suter made a JNI binding available.
Z3-2.6 v.2 6
Z3 is a high-performance theorem prover being developed at Microsoft Research. Z3 supports linear real and integer arithmetic, fixed-size bit-vectors, extensional arrays, uninterpreted functions, and quantifiers.
KD Archive v.2 2
KD Archive is a viewer for KD-Series binary data. This program uses FreeImage, a free, open source image library supporting all common bitmap formats. It is easy to install and easy to manipulate.
KIC 2000 v.3.0.0.1
KIC 2000 is a product designed to give maximum value and fast payback by streamlining your thermal profiling / monitoring process. Investment in a KIC product is a step toward total process control and quality management.
KD8 Setup v.1 3
The KD8 SETUP program serves to configure KD8 recorders.The KD8 recorder is applied as a data acquisition station in measuring systems.
AVX for ICQ v.1.0
AVX for ICQ is an antivirus special designed for ICQ. It is able to intercept, filter and virus scan all files sent during an ICQ chat session.