a
Repositories
Select a repository to view its commits, contributors, and more.public
LTL-SAT-Solver-by-Reynolds-Tableaux
This is part of my research internship at IRIF (Institut de Recherche en Informatique Fondamentale). I implemented Mark Reynolds' algorithm to decide satisfiability of LTL formulas without "Until."
OCaml
0
0
0
Updated 2 years ago
public
advent_of_code_2024
C
0
0
0
Updated 24 days ago