marcbenedi

SAT-tfg is a C++ library to work with Boolean formulae and Pseudo-Boolean optimisation problems.

App that will send a notification when it's going to rain

PDDL Artificial Intelligence