IIT Madras OpenMP (IMOP) compiler framework is an open-source, source-to-source, OpenMP-aware compiler for OpenMP (and serial) C programs.

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.

Gerador da Grade de Horário.

Learner-Verifier Framework for formal synthesis of Control Barrier Functions (CBF).

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.

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

📦 SAT solver for scheduling team-based multi-floor furniture moving

Using LLM for solving NL premises and questions

Automated static builds of Z3 Theorem Prover for multiple platforms using GitHub Actions

A Z3 based solver for the LinkedIn's Queens puzzle

Use z3 to predict Math.random() output for V8, Chrome, Firefox, and Safari

Benchmarking Bit-vector Arithmetic and Parallelism in Z3

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)