z3-solver
There are 7 repositories under z3-solver topic.
amannougrahiya/imop-compiler
IIT Madras OpenMP (IMOP) compiler framework is an open-source, source-to-source, OpenMP-aware compiler for OpenMP (and serial) C programs.
ladesa-ro/gerar-horario
Gerador da Grade de Horário.
aman247av/AI-Projects
This repository features AI-based game projects (Tic-tac-toe, Checkers, Sudoku solver) developed as part of the CS 235 course (optional).
luigiberducci/fosco
Learner-Verifier Framework for formal synthesis of Control Barrier Functions (CBF).
nikolausmayer/Advent-of-Code-2023
Solutions to Advent of Code 2023 problems
lucadibello/movers-sat-problem
📦 SAT solver for scheduling team-based multi-floor furniture moving
orlandopalmeira/Trabalhos-MFES-2023-2024
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)