Giacomo Bergami's repositories
Reducer
A SAT-Solver for the DECLAREd Fragment
Language:C++GPL-3.0000
Language:Java000
jackbergus.github.io
My personal homepage
Language:HTMLMIT000
Language:PostScript000
PhDThesis-Latex
The LaTeX repository for generating the PDF of my PhD dissertation
Language:TeX000
gradesnda23
paper
Language:TeX000
jansi
Jansi is a small java library that allows you to use ANSI escape sequences to format your console output which works even on windows.
Language:JavaApache-2.0000
UnityRLMWE
An example on how to import Relational Learning into Unity as a minimal working example
Language:C#000
GPL-2.0000
kShortestPaths
Upgrading Jon Graehl's implementation of kShortestPaths to C++20
approxProbTraceAlign2
Extending the previous approach on approximate trace alignments
GPL-3.0000
Language:C++000
Language:TeX000
GraphNesting
Graph Nesting Paper
Language:TeXGPL-3.0000
glarea-example
Example of GtkGLArea use
CC0-1.0000