z3
Theorem prover
A software tool for automated reasoning and theorem proving in first-order logic.
The Z3 Theorem Prover
10k stars
181 watching
1k forks
Language: C++
last commit: 11 months ago
Linked from 3 awesome lists
apsdehal/awesome-ctf
aolofsson/awesome-opensource-hardware
pirapira/awesome-ethereum-virtual-machineRelated projects:
| Repository | Description | Stars |
|---|---|---|
 mmp/pbrt-v3 | The pbrt-v3 project provides the source code and build tools for a physically-based rendering engine. | 4,939 |
 zig-gamedev/zig-gamedev | Provides Zig programming language libraries and sample applications for game development | 2,319 |
 web-platform-tests/wpt | A cross-browser test suite for the web platform to ensure compatibility and reliability across different browsers and devices. | 5,053 |
 panda3d/panda3d | A comprehensive game development framework for 3D rendering and game creation | 4,573 |
 snesrev/zelda3 | Reimplements an action-adventure game from the 16-bit era with various enhancements and features | 4,296 |
 seeebiii/projen-test | An example project showing how to create and publish AWS CDK constructs using projen and jsii | 38 |
 wasm3/wasm3 | An interpreter and runtime for the WebAssembly language, aiming to provide portability, security, and low development impedance. | 7,359 |
 zealdocs/zeal | An offline documentation browser that allows users to view and search documentation sets in a simple, Qt-based desktop application. | 11,830 |
 eriklindernoren/pytorch-yolov3 | An implementation of YOLOv3 in PyTorch for object detection and tracking | 7,343 |
 mpld3/mpld3 | An interactive data visualization tool that brings matplotlib graphics to the browser using D3. | 2,364 |
 dagrejs/dagre-d3 | A JavaScript library that uses D3 to render directed graphs on the client-side | 2,873 |
 jupyterlab/jupyterlab | An extensible environment for interactive and reproducible computing using the Jupyter Notebook architecture | 14,263 |
 huxingyi/dust3d | A cross-platform 3D modeling software for creating low poly models | 2,992 |
 tooll3/t3 | A toolset for creating real-time motion graphics and animations with advanced features like DirectX, ImGui, and procedural content generation. | 3,506 |
 c3js/c3 | A reusable charting library for creating interactive data visualizations | 9,345 |