gyankos

Giacomo Bergami's repositories

A SAT-Solver for the DECLAREd Fragment

Language:C++GPL-3.0000

Language:Java000

My personal homepage

Language:HTMLMIT000

Language:PostScript000

The LaTeX repository for generating the PDF of my PhD dissertation

Language:TeX000

paper

Language:TeX000

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

An example on how to import Relational Learning into Unity as a minimal working example

Language:C#000

GPL-2.0000

Upgrading Jon Graehl's implementation of kShortestPaths to C++20

Language:C++100

Extending the previous approach on approximate trace alignments

GPL-3.0000

Language:C++000

A CMake porting for the DGSOL library. All the rights to https://www.mcs.anl.gov/~more/dgsol/

Language:FortranNOASSERTION100

Language:TeX000

Graph Nesting Paper

Language:TeXGPL-3.0000

Example of GtkGLArea use

CC0-1.0000