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: 21 Mar 2025
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: 26 Feb 2025
