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 11 public repositories matching this topic...
50+ solvers for logical puzzles, with 8k+ datasets, including Sudoku-like puzzles, Slitherlink, Pentomino, Hitori, Shikaku, Heyawake, Mosaic, Tent, Creek, Atari, Suguru, Kakuro, etc. Solved via SCIP, ortools, z3-solver or Gurobi.
python sudoku-solver gurobi scip ortools heyawake nonogram-solver shikaku hitori-solver z3-solver pentominoes-solver constraintprogramming slitherlink-solver norinori-solver creek-solver
-
Updated
Jun 8, 2025 - Jupyter Notebook
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
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
Solutions to Advent of Code 2023 problems
-
Updated
Jan 14, 2024 - C++
Using LLM for solving NL premises and questions
-
Updated
May 25, 2025 - Python
Use z3 to predict Math.random() output for V8, Chrome, Firefox, and Safari
nodejs firefox chrome node v8 v8-javascript-engine safari z3 v8-engine z3-smt-solver z3-solver prng-predictor
-
Updated
Apr 21, 2025 - Python
📦 SAT solver for scheduling team-based multi-floor furniture moving
-
Updated
Jun 10, 2024 - TypeScript
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
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."