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...
50+ solvers for logical puzzles, with 8000+ datasets, including Sudoku-like puzzles, Slitherlink, Pentomino, Hitori, Shikaku, Heyawake, Mosaic, Tent, Creek, Atari, Suguru, Kakuro, etc. Mainly solved via Solvers like ortools, z3-solver and SCIP.
python sudoku-solver gurobi scip ortools heyawake nonogram-solver shikaku hitori-solver z3-solver pentominoes-solver constraintprogramming slitherlink-solver norinori-solver creek-solver
-
Updated
Mar 4, 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
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
📦 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."