• LightBDD

    LightBDD in a nutshell

    This time I have decided to make a slightly different post – a short presentation about LightBDD itself. For more details, please see project page or wiki page. So here we go!