Tag: informatica

Tutti i post con il tag "informatica".

• QF_LRA

  Pubblicato:19 feb 2026

  Quantifier-Free Linear Real Arithmetic (QF_LRA) e i modi in cui può essere risolto

• Driver NVidia per la scheda MX110 su Arch Linux

  Pubblicato:13 feb 2026

  Breve guida all'installazione dei driver NVidia per la scheda grafica MX110 (architettura Maxwell) su Arch Linux

• Cmake cheatsheet

  Pubblicato:5 feb 2026

  Cheatsheet minimale per Cmake

• UML in clang

  Pubblicato:22 dic 2025

  Come generare diagrammi UML in progetti C++ con Bazel usando clang-uml