Projects in Awesome Lists tagged with z3-solver
A curated list of projects in awesome lists tagged with z3-solver .
https://github.com/sexfrance/v8-randomness-predictor
A Python-based predictor using z3 to reverse-engineer and predict random values generated by Math.random in V8 with 100% accuracy. This script leverages a series of Math.random() values (min 5) to deduce future states.
algorithm javascript math-random nodejs number-generation predictor python randomness-prediction reverse-algorithms reverse-engineering security-analysis v8 v8-engine xorshift z3-solver
Last synced: 13 Apr 2026
https://github.com/matthewoestreich/z3-static-build
Automated static builds of Z3 Theorem Prover for multiple platforms using GitHub Actions
c cpp smt smt-solver z3 z3-prover z3-smt-solver z3-solver
Last synced: 19 May 2026
https://github.com/alepot55/atlas-mm
GPU-Accelerated Limit Order Book Simulator with Formally Verified Market Making
avellaneda-stoikov formal-verification gymnasium market-making order-book ppo python quantitative-finance reinforcement-learning z3-solver
Last synced: 27 Apr 2026
https://github.com/lucadibello/movers-sat-problem
📦 SAT solver for scheduling team-based multi-floor furniture moving
optimization-algorithms python reactjs sat-solver z3-solver
Last synced: 05 May 2026
