Smt Lib
Advertisement
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.
Advertisement
LTI-Lib v.1.9.16 beta
The LTI-Lib is an object oriented library with algorithms and data structures frequently used in image processing and computer vision.
DLL to Lib v.3.0
Fed up with distributing a lot of DLLs with your applications? Fed up with the errors such as 'DLL not found'? OK, let DLL to Lib help you. DLL to Lib is a magical tool which can convert a DLL file into its equivalent static library file.
Explorer Lib v.2.0
It's a freeware program with which you can explore, create or edit your libraries in COFF/OMF format. Explorer lib is very easy to use, after installed, you need to do a double click in your library to open it.
NCD Device Development Lib v.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
Disc-Lib v.2.1
Manage your discs with ease. Disc-Lib is a disc library manager. This means that you can enter details about your disc collection and tag them with "serials" for easy reference. Then when you want to find a particular file in your collection,
Json-lib v.15
Json-lib is a java library for transforming beans, maps, collections, java arrays and XML to JSON and back again to beans and DynaBeans.
ODX-Lib v.b.2.0.0
The ODX-Lib (ODX Library) is a data access library for ODX data (ISO-22901).
Vogoo PHP LIB v.2.2
Vogoo PHP LIB is a powerful collaborative filtering engine that allows Webmasters to easily add high personalisation features to their Web Sites.
Design-Lib.Com - Batch PSD to JPG v.1 5
There are occasions when PSD are required to be converted to JPG before being put to use. This can be achieved by using the Batch PSD to JPG 1.5 tool. This tool, Batch PSD to JPG 1.5, is a free Adobe Photoshop PSD to JPG image converter.
Design-Lib.Com - Batch PNG to JPG v.1.0
Batch PNG to JPG is a handy png to jpg converter. For you who need to do a batch image conversion from png picture to jpg image. It will flatten multilayer png and for multi frame png it will convert the first frame only.