IIT Madras OpenMP (IMOP) compiler framework is an open-source, source-to-source, OpenMP-aware compiler for OpenMP (and serial) C programs.
-
Updated
Oct 9, 2024 - C
#
z3-solver
Here are 9 public repositories matching this topic...
Learner-Verifier Framework for formal synthesis of Control Barrier Functions (CBF).
torch
learner
smt-solver
verifier
cbf
z3-solver
control-barrier-function
counter-example-guided-synthesis
learner-verifier
-
Updated
Jan 17, 2024 - Python
Solutions to Advent of Code 2023 problems
-
Updated
Jan 14, 2024 - C++
This repository features AI-based game projects (Tic-tac-toe, Checkers, Sudoku solver) developed as part of the CS 235 course (optional).
python
tic-tac-toe
pygame
sudoku-solver
sat-solver
alpha-beta-pruning
smt-solver
minmax-algorithm
z3-solver
checkers-ai
-
Updated
Apr 26, 2023 - Python
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.
nodejs
javascript
python
algorithm
v8
reverse-engineering
xorshift
v8-engine
security-analysis
predictor
math-random
z3-solver
randomness-prediction
number-generation
reverse-algorithms
-
Updated
Nov 18, 2024 - Python
Repositório dos trabalhos de casa da UC de Métodos Formais em Engenharia de Software (MFES) - Mestrado em Engenharia Informática (MEI/MIEI) - Universidade do Minho (UMinho)
logic
z3
formal-methods
alloy
mei
engenharia-informatica
z3-smt-solver
mfes
why3
miei
z3-solver
uminho-miei
uminho-mei
-
Updated
Jan 13, 2024 - Jupyter Notebook
📦 SAT solver for scheduling team-based multi-floor furniture moving
-
Updated
Jun 10, 2024 - TypeScript
Improve this page
Add a description, image, and links to the z3-solver topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the z3-solver topic, visit your repo's landing page and select "manage topics."