Projects

Mini-C++

A C++ Implementation of MiniCP
read more
Projects

CODD : Combinatorial Optimization with Decision Diagrams

CODD : a C++ library implementing the DDOpt framework
read more
Projects

Haddock : A Language and Architecture for Decision Diagram Compilation

Haddock is …

read more
Projects

CyberSEED

An annual Cyber security competitions.
read more
Projects

Cryptanalysis

Breaking Encryption with Optimization (and side-channel)
read more
Projects

Objective-CP

An Hybrid Optimization Platform
read more