Montall Smt
Advertisement
SMT: SAR Management Toolkit v.1.0
Experimental application for assisting in the management of land searches for missing persons.
Advertisement
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.
CDBF - DBF Viewer and Editor v.2.30
A powerful database viewer and editor that allows home and business users to access databases directly using the familiar Windows interface. No programming skills needed! CDBF offers everything you need for working with databases.
DBF Tools for Windows v.2.25
A powerful dbf viewer and dbf editor that allows home and business users to access databases directly using the familiar Windows interface. No programming skills needed! CDBF offers everything you need for working with databases.
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 Professional v.1.0.0.1
AVX Professional (Win 95/98/NT/ME/2000) is a single packaged superior anti-virus scanner and protection suite, offering automatic virus protection updates over a virus signatures database of more than 50,000 viruses.
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.
NIST (ANSI/NIST-ITL 1-2000) library v.1.0
NIST (ANSI/NIST-ITL 1-2000) library. Version 1.0. Cognaxon NIST (ANSI/NIST-ITL 1-2000) library reads and extracts NIST (ANSI/NIST-ITL 1-2000) file format. The advantage of NIST files is the ability to contain multiple images and other types of data