Efficient On-the-Fly Model Checking for LTL and CTL★.

• UpdatedDec 21, 2019
• Haskell

University courses, projects and homeworks

• UpdatedOct 3, 2023

Resolução do trabalho prático 4 da UC Lógica Computacional. Temos 2 problemas, um problema relacionado com Verificação Formal de Software e outro problema relacionado com Sistemas Híbridos

• UpdatedJan 28, 2021
• Jupyter Notebook

Code of my talk at EASS 2023

• UpdatedDec 16, 2025
• Raku

• UpdatedJun 22, 2025
• SCSS

Simple proof assistant written in OCaml.

• UpdatedJan 31, 2022
• OCaml

Specification and client examples for the Byt-Wyze SAT Maker API (deterministic CES-weighted SAT instance generator).

• UpdatedDec 1, 2025

Slides of my talk at EASS 2023

• UpdatedMay 2, 2024
• TeX

Deterministic SAT APIs, CNF preprocessing tools, and reproducible research standards.

• UpdatedDec 14, 2025

Computational Logic Formula Solver - programmatically simplifies propositional and predicate logic formulas

• UpdatedFeb 17, 2020
• JavaScript

Computational Logic - A monopoly board based tycoon game.

• UpdatedJan 9, 2023
• Prolog

Project for Computational Logic (Semester 2 24/25), creating CLI based Pokemon game with Prolog.

• UpdatedJul 11, 2025
• Prolog

Satisfiability of boolean formulas

• UpdatedJun 24, 2025
• OCaml

Here you can find some exercises about introduction to programming in C++ language.

• UpdatedMay 7, 2021
• C++

Guía de conjuntos para la materia Lógica Computacional de la carrera Tecnicatura Superior en Ciencia de Datos e IA

• UpdatedMay 18, 2025
• Jupyter Notebook

Permainan Global Conquest adalah sebuah game strategi yang dibuat menggunakan bahasa pemrograman deklaratif Prolog (GNU Prolog).

• UpdatedJan 20, 2024
• Prolog

A project of a computational logic calculator based on college studies.

• UpdatedMar 19, 2024
• TypeScript

Tugas Besar Logika Komputasional 2021/2022

• UpdatedDec 4, 2021
• Prolog

• UpdatedMay 21, 2023
• Jupyter Notebook

Problems solved for Computational Logic @ UBI - Portugal.

• UpdatedJun 14, 2025
• OCaml