Pinned Loading

1. easySAT easySAT Public

   Experimental SAT solver written in C language. The program uses bitmaps to represent the search state, and bitwise operations are at the backbone of the algorithm implementation.

   C

2. algorithmsFall23 algorithmsFall23 Public

   This repository contains some coding assignments I completed for the Analysis of Algorithms and Data Structures course taught by Professor A. Polak at Bocconi University.

   C