masinag

Gabriele Masina's repositories

Code for the paper "On CNF Conversion for SAT Enumeration"

Language:Python100

Extension with Cython bindings for LDD library (Linear Decision Diagrams)

Language:PythonNOASSERTION100

Experiment manager

Language:PythonGPL-3.0100

Language:C++MIT000

Binder, tool for automatic generation of Python bindings

Language:C++MIT000

Language:Lua000

Web app for the mapping of bike routes developed for a school project.

Language:PHP000

Identify topics that have been popular on Twitter in multiple time periods

Language:PythonMIT000

Python project using opencv to recognize hand gestures

Language:Python000

Some WMI benchmarks

000

Language:C++000

Neovim custom config

Language:LuaGPL-3.0000

Training for the Olympiad in Informatics, Liceo Scientifico Galilei, Trento, 2018/2019, 2019/2020, 2020/2021

Language:C++000

pySMT: A library for SMT formulae manipulation and solving

Language:PythonApache-2.0000

Efficient WMI via SMT-Based Predicate Abstraction

Language:PythonMIT000