The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning. Learn more →
Top 9 Z3 Open-Source Projects
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
-
eda_tools
A Dockerfile with a collections of ready to use open source EDA tools: Yosys, SimbiYosys (with Z3, boolector and Yices2), nextpnr-ice40, netxpnr-ecp5, nextpnr-gowin, Amaranth HDL, Silice and Verilator.
-
nus-timetable-optimizer
Codebase for the NUS Timetable Optimizer, a tool to help students at the National University of Singapore optimize their timetables to their liking.
This might be what you’re looking for: https://nus-optimizer.com/
Z3 related posts
- What new features would you like to see in NUSMods?
- NUS Guide for Incoming Undergraduates
- NUSMods has been updated for AY22/23
- Compilation of open source tools in Docker
- What is Manticore?
- Daily General Discussion - October 19, 2021
- Z3 Made Unreasonably Easy
-
A note from our sponsor - WorkOS
workos.com | 24 Apr 2024
Index
What are some of the best open-source Z3 projects? This list will help you:
Project | Stars | |
---|---|---|
1 | manticore | 3,634 |
2 | CrossHair | 944 |
3 | stainless | 347 |
4 | z3_tutorial | 147 |
5 | easy_z3 | 98 |
6 | grilops | 62 |
7 | hz3 | 57 |
8 | eda_tools | 34 |
9 | nus-timetable-optimizer | 18 |
Sponsored