nicola-gigante

Free University of Bozen-Bolzano, ItalyBolzano, Italy

Pinned Repositories

bitvector
A C++ container-like data structure for storing a vector of bits with fast appending on both sides and fast insertion in the middle, all in succinct space
Language:C++21 5 72
bosy
BoSy is a reactive synthesis tool based on constraint-solving
Language:Swift0 0 00
cpputils
A little collection of various C++ utilities that I frequently use
Language:C++3 1 03
ltl-simplifier
Driver to call Owl to simplify LTL formulas
Language:C++10
ocmesh
Library for hexahedral mesh generation from a CSG description
Language:C++3 2 07

nicola-gigante/bitvector
A C++ container-like data structure for storing a vector of bits with fast appending on both sides and fast insertion in the middle, all in succinct space
Language:C++21 5 72
nicola-gigante/cpputils
A little collection of various C++ utilities that I frequently use
Language:C++3 1 03
nicola-gigante/ocmesh
Library for hexahedral mesh generation from a CSG description
Language:C++3 2 07
nicola-gigante/ltl-simplifier
Driver to call Owl to simplify LTL formulas
Language:C++10
nicola-gigante/bosy
BoSy is a reactive synthesis tool based on constraint-solving
Language:Swift0 0 00
nicola-gigante/cadet
A fast and certifying solver for quantified Boolean formulas.
Language:C0 0 00
nicola-gigante/libsolve
A collection of data structures and SAT solver interfaces for writing solvers
Language:C
nicola-gigante/quabs
QuAbS is a circuit-based QBF solver
Language:C
nicola-gigante/type_safe
Zero overhead utilities for preventing bugs at compile time
Language:C++
nicola-gigante/unified-planning
The AIPlan4EU Unified Planning Library