IIT Madras OpenMP (IMOP) compiler framework is an open-source, source-to-source, OpenMP-aware compiler for OpenMP (and serial) C programs.
-
Updated
Apr 20, 2024 - C
IIT Madras OpenMP (IMOP) compiler framework is an open-source, source-to-source, OpenMP-aware compiler for OpenMP (and serial) C programs.
This repository features AI-based game projects (Tic-tac-toe, Checkers, Sudoku solver) developed as part of the CS 235 course (optional).
Solutions to Advent of Code 2023 problems
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)
Learner-Verifier Framework for formal synthesis of Control Barrier Functions (CBF).
Add a description, image, and links to the z3-solver topic page so that developers can more easily learn about it.
To associate your repository with the z3-solver topic, visit your repo's landing page and select "manage topics."