Z3- 2.6
It can read problems in SMT-LIB and Simplify formats.
- Audio & Multimedia
- Business
- Communications
- Desktop
- Development
- Education
- Games
- Graphics
- Home & Hobby
- Network & Internet
- Screen Savers
- Security & Privacy
- Servers
- System Utilities
- Web Development
- FoneLab Data Retriever
- Informachine File Manager
- Migrate Access Database to...
- Disk Media Recovery Software
- Pocket PC Device Forensic Tool
- HTMeLd
- ChequeSystem Cheque...
- Flash Card Recovery Software
- Aiseesoft FoneLab iPhone...
- SSuite Office Premium HD+
- AnyMP4 Blu-ray Creator
- FAT Volume Data Recovery
- Restore Deleted Mac Files
- UltraFileSearch Std Portable
- MSMassEmailSenderPro
- ADRC Data Recovery Tools
- avast! Antivirus
- Revo Uninstaller
- Java Runtime Environment
- AVG Anti-Virus Free Edition
- GOM Media Player
- RegSeeker
- IrfanView
- CPU-Z
- Malwarebytes Anti-Malware
- Spybot Search & Destroy
- Skype
- µTorrent
- Ai File Extension Editor
- Remove Drm From Pdf Files
- Download Word Templates For...
- Assault Cube Sounds
- Download Song As Zip File
- Rankquest Watchseo
- Free Becker Cpa
- Creative Smiley Faces Text
- Portable Photo Editor Free...
- Screen Capture Master
- Bat Merge
- Daz Iso Compressor
- Destroy Recycle Bin Windows
- Decode Firefox Cache File
- Link Directory Script
Smt Lib Download
-
1Freeware
-
2DLL to Lib 3.00
DLL to Lib is a magical tool which can convert DLL into its equivalent static library and introduce a programming interface identical to the export functions in the DLL for developers. After that, you can replace the original DLL with the static library, ...$999.00 -
3NCD Device Development Lib 1.0
NCD Devices Development Lib supply powerful ActiveX for all NCD devices.NCD relay controllers allow computer controlled switching from the RS232 serial port of a microcontroller or computer.NCD video switchers allow computer controlled multiplexing of ...Freeware -
4COMM-DRV/Lib.Net Professional
COMM-DRV/Lib.Net is a professional serial communication library component for the .Net Windows development environment. It is extremely easy to use whether you are writing simple serial communication applications or complex enterprise applications. The ...$299.95 -
5PI System Management Tools 3.4
PI SMT is a set of easy-to-use, Windows-based graphical applications used to administer any PI System from remote personal computers.With this software you can handle any PI Server administration tasks, monitor performance characteristics for multiple ...$165.00 -
6TA-Lib Pro Excel 2.5
TA-Lib pro is configurable directly from the Excel interface from a convenient single dialog (See on the left). The settings are automatically preserved between Excel sessions. TA-Lib open-source requires Visual Studio or additional Microsoft Redistributable ...$149.00 -
7LTI-Lib 1.9 beta
The LTI-Lib is an object oriented library with algorithms and data structures frequently used in image processing and computer vision. It has been developed at the Chair of Technical Computer Science (Lehrstuhl fuer Technische Informatik) LTI at the ...Freeware -
8DeepSoftware nrComm Lib (full
The nrComm Lib is set of Delphi VCL components, classes and routines for serial communication tasks. Library helps to get access to various devices: serial port, data and voice modems, barcode scanners, Human Interface Devices (HID), Bluetooth, USB, ... -
9Self-Mastery Technology (SMT) 1.0
Access your SMT Mind Library account for downloading audio sessions encoded with NeuroSensory Algorithms™ has never been easier. The two free audio-sessions use Strategic Mind Messaging™ recorded by Dr. Patrick Porter, Ph.D. one of the world's leading ...$0.99 -
10PDF Plain Text Extractor 4.2
PDF Plain Text Extractor(P2T) is a tool that can extract plain text from PDF files without any PDF SDK or other third party lib's help. You don't need any products from Adobe (neither Adobe Acrobat Reader nor Adobe Acrobat) installed on your computer.$59.95 -
11PDFSplitMergeLibrary 1.0
freeware ActiveX lib for splitting and merging PDF document files. Features: extracts selected pages from PDF document and saves into single PDF document, splits PDF into files with single pagesFreeware -
12IZArc 3.7
IZArc is the ultimate freeware archive utility supporting many archive formats like: 7-ZIP, A, ACE, ARC, ARJ, B64, BH, BIN, BZ2, BZA, C2D, CAB, CDI, CPIO, DEB, ENC, GCA, GZ, GZA, HA, IMG, ISO, JAR, LHA, LIB, LZH, MDF, MBF, MIM, NRG, PAK, PDI, PK3, RAR, ...Freeware -
13NCache Express 3.2.2.0
NCache Express a FREE version provides a seamless integration with the Caching Application Block in Enterprise Lib 4.0. Now you can also in corporate NCache Express into you NHibernate applications without any code change. NCache Express has full compliance ...Freeware -
14Dll to Static Lib 1.1
DLL to Static Lib is a very useful tool for programmer. It can convert a DLL into its equivalent static library file. And the conversion process does not require any source codes of the DLL. After the conversion, you can replace the DLL with the static ...$79.00
Buy -
15QRCode Encoder SDK/LIB 2.5
QR Code is a very efficient, two-dimensional (2D) barcode symbology that uses a small area of square modules with a unique perimeter pattern, which helps the barcode scanner determine cell locations and decode the QR Code symbol. Characters, numbers, ...$495.00
Buy -
16Rxlib for Delphi 2.7
Rx-Lib is a complete set of components for Borland Delphi and C Builder that allow you to build flexible and robust user interfaces and best of all they are totally free. NOTE: This project is in maintenance mode and no longer actively developed. RX ...Freeware -
17Explorer Lib 2.0
Explorer lib is very easy to use, after installed, you need to do a double click in your library to open it. Explorer Lib has two panels at left you can see all modules, and at right you can see all details about the module (name, size, format, symbols ...Freeware -
18Aztec Decoder SDK/LIB 2.5
The Aztec decoder SDK is a robust, efficient and fast library for reading/decoding, searching barcodes, and detecting barcode orientation. The compact Aztec code core supports symbols from 15+S15 (room for 13 digits or 12 letters) through 27+S27. There ...$125.00 -
19XP-Look 1.0
The idea is to connect right lib of common controls. Windows XP have two different common controls libraries (CCL): 5.80 (old) and 6.0 (new). In order to have nice controls program must link the newest CCL. The easiest solution of this issue is to create ...Freeware -
20HS COM C Source Code Library 1.1
HS COM is a serial communication library implemented in C language. HS COM runs on Windows and interfaces to Win32 serial communication API. HS COM allows applications communicate with any device presented in the OS as a COM port. The physical interface ...$365.00
Buy -
21QRCode Decoder SDK/LIB 2.5
The QRCode decoder SDK is a robust, efficient and fast library for reading/decoding, searching barcodes, and detecting barcode orientation. QRCode barcodes can store large amounts of data in a small symbol, up to a maximum 7089 Digits,4,296 Alphanumeric,2,953 ...$495.00
Buy -
22DataMatrix Decoder SDK/LIB for
Data Matrix decoder library deciphers rectangular and square ECC 200 Data Matrix codes in sizes ranging from 6x6 to 144x144.The software automatically determines whether a target employs bright on dark or dark on bright code types and adjusts a reader ...$495.00
Buy -
23Linsys IPSec Tool 1.0
Using wxwidgetsand ipsec2k lib. This program is full of options. You can set the Echo request interval, number of Failed Attempts, view the status of the connection and other options.Freeware -
24AnyToSWF 1.0.0
With it, developers can create lib file very earily.The key features as following: Package any file to Adobe SWF and SWC file Specify the class name for a file packaged Command line interface for developers$1.99 -
25THBImage 5.0.3.4
NET,VB,C++,DLL,LIB at your fingertips. Image and vectordata viewing with Scrolling, Zooming, Panning. Unlimited layers, you can plug multiple raster and vector layers into the viewer, where each vectorlayer can itself contain unlimited sublayers. Fully ...$149.00