•        0

Z3 is a high-performance theorem prover being developed at Microsoft Research.




comments powered by Disqus

Related Projects


Search, download, play mp3 and internet radios.


This is a simple utility to enable Linux users to use 3G Internet from Bulgarian mobile operators with 3G USB modems without any configurations performed by the user. Currently tested on recent Ubuntu, Debian, Fedora and openSUSE distributions and following devices: HUAWEI E173 (Vivacom), Alcatel X220L (Vivacom), ZTE MF190 (Globul), ZTE K3565-Z (M-tel). connect_3g now supports PIN code security, though using it is not recommended.

ChibiOS/RT free embedded RTOS

ChibiOS/RT is a free and efficient RTOS designed for deeply embedded applications. It offers a comprehensive set of kernel primitives and supports many architectures: ARM7, Cortex-M0, Cortex-M3, Cortex-M4, PowerPC e200z, STM8, AVR, MSP430, ColdFire, H8S, x86.


Cpsed is a Linux OpenGL 3d scene editor. The GUI is built with QT library. It allows you to position, rotate and scale each of your 3d models (3DS AutoDesk and DFF RenderWare) saving the x,y,z coords in a CSV ascii file. A camera is provided.

zSim flight simulator

open-source flight simulator, for RC-models and real aircraft, with a special orientation towards gliders. OpenSceneGraph based full 3D renderer.

Surfaceplotter - A nice, simple, zoomable 3D surface plotter in Java/Swing

A nice, simple, zoomable 3D surface plot in Java/Swing, designed for reuse. It provides 4 rendering engines for two-parameters functions ( z = f(x,y) ) : 3D Surface, 3D Wireframe, 2D Density Map, 2D Density Contour, Dozens of rendering configurations, color maps, scale, tick drawing, legend drawing etc.

Lkh-jmp3player - Java mp3 Player

Odtwarzacz mp3 z biblioteka multimediów. Tworzony jako projekt zaliczeniowy z przedmiotu Java i programowanie w sieci Internet.

Schmalz - A Z-Machine implementation for Erlang

Schmalz is an Interactive Fiction runtime system in Erlang. The target virtual machines are the Z-machine and Glulx. While the Z-machine was originally created by Infocom to run their famous text adventures, both the Z-machine and Glulx are output formats of the Inform system and therefore run modern Interactive Fiction created in Inform. Schmalz is based on experiences made with the Ruby Z-code interpreter "Smeagol" and the Java Z-code interpreter "Z-machine Preservation Project". The targeted