Smt Lib


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.





Advertisement

Vis PDF lib

Vis PDF Lib is a VCL component for Delphi and C++ Builder for creating PDF documents. VisPDF does not use any DLL or other software to create PDF files. VisPDFLib allows to load an existing pdf files and edit them. Using VisPDF in your software, you will

Aztec Encoder SDK/LIB for Windows Mobile  v.2.0

With the SDK/LIB,you can encode up to 3832 numeric or 3067 alphabetic characters or 1914 bytes of data to image such as BMP,PNG,JPG,GIF image using C/C++ language with several lines of code. It support 36 error correction levels and 5+ image styles

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.

Aztec Encode SDK/LIB  v.2.0

If you hope to link the barcode function to your application without external dependent file, SDK/LIB is the best choice. With the SDK/LIB,

Aztec Encode SDK/LIB for Windows Mobile  v.2.0

If you hope to link the barcode function to your application without external dependent file, SDK/LIB is the best choice. With the SDK/LIB,

PDF417 Encode SDK/LIB  v.2.0

If you hope to link the barcode function to your application without external dependent file, SDK/LIB is the best choice. With the SDK/LIB,you can encode more than 1100 bytes, 1800 ASCII characters, or 2700 digits to image such as BMP,PNG,JPG,

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

Dll to Static Lib  v.1 2

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,

Pages : 1 | 2 | Free
Newest Reviews