Skip to content

DRAFT: Light dtt

Joan Thibault requested to merge light-dtt into master

Added LDTCore, A simple encoding of Binary Decision Diagrams using only two constructors Cst and Sha. Using light dependent types.

Edited by Joan Thibault

Merge request reports